Video

Unknown · 0:00

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...

Read the full summary on tuber