A semantic account of type-directed partial evaluation (1999)

by Andrzej Filinski
Venue:In Gopalan Nadathur, editor, International Conference on Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science