Back to Results
First PageMeta Content
Declarative programming / Data types / Functional programming / Generic programming / Lambda calculus / Type system / Haskell / Polymorphism / Simply typed lambda calculus / Software engineering / Computing / Type theory


Ralf Hinze Generic Programs and Proofs Bonn, 2000 Fu
Add to Reading List

Document Date: 2011-03-18 10:35:28

Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE