A Tutorial Implementation of a Dependently Typed Lambda Calculus

DOI10.3233/FI-2010-304zbMath1217.68052OpenAlexW1632691573MaRDI QIDQ3002481

Wouter Swierstra, Andres Löh, Conor McBride

Publication date: 20 May 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-304

zbMATH Keywords

dependently typed core calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Supercompilation for Martin-Lof's type theory ⋮ Certifying Supercompilation for Martin-Löf’s Type Theory ⋮ Proofs, Upside Down ⋮ Additive types in quantitative type theory

Uses Software

• Haskell
• Epigram

This page was built for publication: A Tutorial Implementation of a Dependently Typed Lambda Calculus