Skip to content

Polymorphic typed defunctionalization.

Franois Pottier, Nadji Gauthier

VenueA*POPL
Year2004
ProceedingsPOPL

Browse the full POPL paper archive.