![Software engineering / Programming language semantics / Denotational semantics / Logic in computer science / Monad / Lambda calculus / Representation theory of finite groups / Theoretical computer science / Models of computation / Applied mathematics Software engineering / Programming language semantics / Denotational semantics / Logic in computer science / Monad / Lambda calculus / Representation theory of finite groups / Theoretical computer science / Models of computation / Applied mathematics](https://www.pdfsearch.io/img/4b4d75fc717326bd0144e3236c00cafa.jpg)
| Document Date: 2013-10-18 07:55:38 Open Document File Size: 263,24 KBShare Result on Facebook
/ Facility Partiality Monad Nils Anders Danielsson Chalmers University of Technology / / IndustryTerm non-terminating applications / / Organization University of Gothenburg / Chalmers University of Technology / / Person Hur / Benton / Ty / / Position definitional interpreter / language and proof assistant / author / compiler writer / writer / interpreter / proof assistant / guard / / Product A. Suspensions / / Technology Functional programming / virtual machine / / URL http /
SocialTag |