Back to Results
First PageMeta Content
Computing / Data types / Software engineering / Functional programming / Knowledge representation / Dependently typed programming / Generalized algebraic data type / Type theory / Rm / Tree


[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra
Add to Reading List

Document Date: 2015-01-14 05:57:45


Open Document

File Size: 323,07 KB

Share Result on Facebook