![Lambda calculus / Logic in computer science / Models of computation / Functional languages / Combinatory logic / Functional programming / Curry / ISWIM / Denotational semantics / Software engineering / Computing / Programming language theory Lambda calculus / Logic in computer science / Models of computation / Functional languages / Combinatory logic / Functional programming / Curry / ISWIM / Denotational semantics / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/a799551a7777ee32766d5b8bcddbf4e4.jpg)
| Document Date: 2011-12-16 15:59:04 Open Document File Size: 294,85 KBShare Result on Facebook
Company Research Software Ltd. / / IndustryTerm consistent systems / software woes / / Organization Yale University Department of Computer Science / Alonzo Church / / Person Paul Hudak / / Position author / / Product Miranda / / ProgrammingLanguage Haskell / FP / ML / Lambda Calculus / Prolog / Fortran / Lisp / / Technology Functional Programming / /
SocialTag |