Book
Open access
Aug 2026
Programs and Proofs in Practice: A Grounded Theory on How People Program with Dependent Types
Dependently typed programming languages (DTPLs) are powerful tools that help improve software correctness. However, they currently serve niche communities, and have not yet been adopted in mainstream software development processes. Through this work, we aim to understand how people program in dependently typed language...
Ruben Backx, Sára Juhošová, Wouter Swierstra et al.
· Proceedings of the 11th ACM... · 0 citations