×

Operational semantics using the partiality monad. (English) Zbl 1291.68114

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 127-138 (2012).

MSC:

68N18 Functional programming and lambda calculus

Software:

Coq; Agda
PDFBibTeX XMLCite
Full Text: DOI