![Lambda calculus / Type theory / Data types / Functional programming / Logic in computer science / Pattern matching / Standard ML / Combinatory logic / Fixed-point combinator / Software engineering / Theoretical computer science / Computing Lambda calculus / Type theory / Data types / Functional programming / Logic in computer science / Pattern matching / Standard ML / Combinatory logic / Fixed-point combinator / Software engineering / Theoretical computer science / Computing](https://www.pdfsearch.io/img/cf706eaf44a4fd12559bf4932f38c0a4.jpg)
| Document Date: 2008-10-17 11:56:59 Open Document File Size: 140,13 KBShare Result on Facebook
Country Denmark / / / Facility Morten Rhiger∗ The IT University of Copenhagen / Roskilde University / A library / / IndustryTerm machinery / static type systems / / Organization United Nations / Roskilde University / University of Copenhagen / Copenhagen / / Person Pcst Int / / Position author / present author / / ProgrammingLanguage Haskell / Standard ML / / Technology Functional Programming / Russianpeasant algorithm / /
SocialTag |