![Type theory / Functional programming / Data types / Recursion / Higher-order functions / Generalized algebraic data type / Algebraic data type / Eval / Type system / Software engineering / Computing / Computer programming Type theory / Functional programming / Data types / Recursion / Higher-order functions / Generalized algebraic data type / Algebraic data type / Eval / Type system / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/4502bd89592b35dd485b4064a5d73c55.jpg)
| Document Date: 2015-03-03 07:36:01 Open Document File Size: 185,98 KBShare Result on Facebook
City Venice / / Company Haskell / / Country Italy / / Currency USD / / / Event Reorganization / / IndustryTerm machinery / partial and proper solutions / above solution / pragmatic solution / pretty-printing / / Organization Open Functions Andres L¨oh Ralf Hinze Institut f / / Person Ralf Hinze / / Position Features General / representative / guard / evaluator / expression evaluator / interpreter / programmer / / ProgrammingLanguage R / ML / L / / RadioStation 4.1 Core / / Technology functional programming / object-oriented programming / /
SocialTag |