![Lambda calculus / Type theory / Logic in computer science / Models of computation / Data types / Combinatory logic / Denotational semantics / Eval / Type system / Computing / Software engineering / Theoretical computer science Lambda calculus / Type theory / Logic in computer science / Models of computation / Data types / Combinatory logic / Denotational semantics / Eval / Type system / Computing / Software engineering / Theoretical computer science](https://www.pdfsearch.io/img/f49618c6a015008326cd605f3a3042d8.jpg)
| Document Date: 2008-07-19 02:12:20 Open Document File Size: 198,05 KBShare Result on Facebook
Company Y combinator / / Facility Haskell’s facility / Rutgers University / / IndustryTerm possible rule applications / honest solution / pretty-printing library / type reconstruction algorithm / / Organization Formosan Summer School on Logic / Language / and Computation / Rutgers University / / Person Oleg Kiselyov / John Reynolds / Girard / Bertrand Russell / Benjamin Pierce / / Position abstract interpreter / interpreter / / ProgrammingLanguage Haskell / / Technology DSL / type reconstruction algorithm / /
SocialTag |