![Type theory / Functional programming / Data types / Higher-order functions / Lambda calculus / Higher-order abstract syntax / Eval / Catamorphism / System F / Software engineering / Computing / Declarative programming Type theory / Functional programming / Data types / Higher-order functions / Lambda calculus / Higher-order abstract syntax / Eval / Catamorphism / System F / Software engineering / Computing / Declarative programming](https://www.pdfsearch.io/img/5196201ffbda06765d3b67e0aa8e621b.jpg)
| Document Date: 2014-07-10 05:47:02 Open Document File Size: 494,37 KBShare Result on Facebook
/ Facility Information Science University of Pennsylvania / Haskell library / / IndustryTerm conversion algorithm / / Organization University of Pennsylvania / Philadelphia / Parametric Polymorphism∗ GEOFFREY WASHBURN STEPHANIE WEIRICH Department of Computer / / Person GEOFFREY WASHBURN STEPHANIE WEIRICH / Peyton Jones / / Position interpreter for the λ-calculus / interpreter / / ProgrammingLanguage Haskell / / Technology Functional Programming / conversion algorithm / /
SocialTag |