Danielsson, Nils Anders 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). Cited in 4 Documents MSC: 68N18 Functional programming and lambda calculus Keywords:dependent types; mixed induction and coinduction; partiality monad Software:Coq; Agda PDFBibTeX XMLCite \textit{N. A. Danielsson}, in: 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). 127--138 (2012; Zbl 1291.68114) Full Text: DOI