Polymorphic Typed Defunctionalization (2004)

by F Pottier, N Gauthier
Venue:In Proc. POPL