Back to Results
First PageMeta Content
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


Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg
Add to Reading List

Document Date: 2013-10-18 07:55:38

Open Document

File Size: 263,24 KB

Share 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