Back to Results
First PageMeta Content
Logic in computer science / Lambda calculus / Models of computation / Type theory / Symbol / Type system / Valuation / Combinatory logic / Normalisation by evaluation / Theoretical computer science / Mathematics / Applied mathematics


Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims
Add to Reading List

Document Date: 2004-05-28 07:25:30

Open Document

File Size: 245,99 KB

Share Result on Facebook
UPDATE