function applications / double applications / call site / partial applications / defunctionalization algorithm / /
Organization
Cornell University / /
Person
Jeffrey M. Bell / Cormac Flanagan / Karl Crary / Andrew Tolmach / Matthias Felleisen / James Cheney / John C. Reynolds / Lasse R. Nielsen / Ralf Hinze / Henry Cejtin / David Walker / Dino P. Oliva / Bruce F. Duba / Robert Harper / Olivier Danvy / Greg Morrisett / Amr Sabry / James Hook / Neal Glew / Anindya Banerjee / Suresh Jagannathan / Nevin Heintze / Christine Paulin-Mohring / Jon G. Riecke / Yasuhiko Minamide / /
Product
Pentax K-x Digital Camera / /
ProgrammingLanguage
Ada / Objective Caml / J / ML / K / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /
Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims