search

uchicago-cs / plrg

PL Reading Group Website
https://uchicago-cs.github.io/plrg
14 stars 6 forks source link

Polymorphic Typed Defunctionalization and Concretization #58

Closed k4rtik closed 2 years ago

k4rtik commented 4 years ago

Author's version: http://gallium.inria.fr/~fpottier/publis/fpottier-gauthier-hosc.pdf DOI: https://doi.org/10.1007/s10990-006-8611-7

John might present this in the future.