1 paper · 1 filter
Christophe Scholliers
Dependently typed programming languages have become increasingly relevant in recent years. They have been adopted in industrial strength programming languages and have been extreme…