Skip to content

Type-Directed Partial Evaluation.

Olivier Danvy

VenueA*POPL
Year1996
ProceedingsPOPL

Browse the full POPL paper archive.