Failure is not an option. An exceptional type theory

DOI10.1007/978-3-319-89884-1_9zbMath1418.68062OpenAlexW2798115558MaRDI QIDQ2323976

Pierre-Marie Pédrot, Nicolas Tabareau

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_9

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

Uses Software

• Coq

This page was built for publication: Failure is not an option. An exceptional type theory