background preloader

label

Type Theories

> Ralphtq > Technology > Programming Languages > Haskell > Haskell Research

Vladimir Voevodsky. The Agda Wiki - Agda. DependentTypesAtWork.

Related: Programming Languages - Education - Enterprise