Modular monadic meta-theory

DOI10.1145/2500365.2500587zbMath1323.68357OpenAlexW2104422179MaRDI QIDQ5244814

Benjamin Delaware, Bruno C. d. S. Oliveira, Steven Keuchel, Tom Schrijvers

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500587

zbMATH Keywords

monadsmodularityside-effectsmechanized meta-theory

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Unnamed Item ⋮ Gradual type-and-effect systems ⋮ Modular Dependent Induction in Coq, Mendler-Style

Uses Software

• mini-ML

This page was built for publication: Modular monadic meta-theory