Book
Open access
Aug 2026
What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)
The "rebound" library is used to demonstrate and reflect on the current capabilities of dependently-typed programming in Haskell, and supports working with well-scoped de Bruijn indices in abstract syntax trees.
Stephanie Weirich
· Proceedings of the 19th ACM... · 0 citations