Polymorphic Typed Defunctionalization (2004)

Cached

Download Links

by Francois Pottier , Nadji Gauthier
Venue:In ACM Symposium on Principles of Programming Languages (POPL
Citations:17 - 4 self