(1)
Danvy, O. Online Type-Directed Partial Evaluation. BRICS 1997, 4.