N.: Polymorphic Typed Defunctionalization (0)

by F Pottier, Gauthier
Venue:In: Proceedings of the 31st Symposium on Principles of Programming Languages (POPL), ACM (2004) 89–98