![Formal methods / Functional languages / Functions and mappings / Theoretical computer science / Function / Haskell / Hindley–Milner / Fold / Combinatory logic / Software engineering / Computing / Mathematics Formal methods / Functional languages / Functions and mappings / Theoretical computer science / Function / Haskell / Hindley–Milner / Fold / Combinatory logic / Software engineering / Computing / Mathematics](https://www.pdfsearch.io/img/8d544883c3b5edc5216216e29b5dd962.jpg)
| Document Date: 2015-03-04 15:20:42 Open Document File Size: 274,91 KBShare Result on Facebook
City New York / / Company Cambridge University Press / GPU / / Country United States / / Currency GHS / / / Facility library Data.Set / Telecommunication Technology Center The University of Kansas / Implementation Tunnel / / Organization Cambridge University / National Science Foundation / Life Board / University of Kansas / / Person John Horton Conway / A. Farmer / G. Hutton / E. Komp / N. Sculthorpe / Graham Hutton / Mike Stees Andrew Gill / A. Gill / Andrew Farmer / / Position author / Farmer for help with HERMIT / worker worker / player / mathematician / programmer / Farmer / / ProgrammingLanguage Haskell / / ProvinceOrState New York / / PublishedMedium Scientific American / Lecture Notes in Computer Science / / Technology alpha / Functional Programming / API / simulation / DSL / / URL http /
SocialTag |