Polymorphic typed defunctionalization (2004)

by François Pottier, Nadji Gauthier
Venue:In POPL ’04