![Functional programming / Models of computation / Logic in computer science / Monad / Denotational semantics / Lambda calculus / Fixed-point combinator / Valuation / Theoretical computer science / Declarative programming / Mathematics Functional programming / Models of computation / Logic in computer science / Monad / Denotational semantics / Lambda calculus / Fixed-point combinator / Valuation / Theoretical computer science / Declarative programming / Mathematics](https://www.pdfsearch.io/img/87755ececb40aa6accdde12c92b23e88.jpg)
| Document Date: 2004-07-21 16:26:52 Open Document File Size: 211,05 KBShare Result on Facebook
City Snowbird / / Country United States / / Currency USD / / / Facility College of Computer / Information Science Northeastern University / Backtracking Mitchell Wand Dale Vaillancourt College of Computer / / IndustryTerm search strategies / / Organization College of Computer / Northeastern University / Backtracking Mitchell Wand Dale Vaillancourt College of Computer / / / Position RT / General / evaluator / / ProgrammingLanguage Haskell / D / Prolog / L / / ProvinceOrState Utah / Massachusetts / / TVStation Wand / / Technology dom / /
SocialTag |