[Haskell'26] What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)
ACM SIGPLAN · 66:02 · Watch on YouTube
Stephanie Weirich's keynote argues that dependently typed programming in Haskell works best for "internal verification," where type indices themselves guarantee correctness. Using well-scoped de Bruijn indices (her Re...