Compiling actions by type-directed partial evaluation (1997)

by Olivier Danvy, Morten Rhiger
Venue:In Proceedings of the 9th Nordic Workshop on Programming Theory