Back to Results
First PageMeta Content
Type theory / Lambda calculus / Functional programming / Data types / Theoretical computer science / Unification / Generic programming / Higher-order abstract syntax / De Bruijn index / Software engineering / Mathematics / Computing


Scrap your Nameplate (Functional Pearl) James Cheney
Add to Reading List

Document Date: 2005-07-12 06:34:19

Open Document

File Size: 181,48 KB

Share Result on Facebook
UPDATE