Christophe Scholliers

WebPie: A Tiny Slice of Dependent Typing

2024 · Electronic Proceedings in Theoretical Computer Science

Dependently typed programming languages have become increasingly relevant in recent years. They have been adopted in industrial strength programming languages and have been extremely successful as the basis for theorem provers. There are however, very …