Sciweavers

87
Voted
AFP
2008
Springer

Dependently Typed Programming in Agda

15 years 3 months ago
Dependently Typed Programming in Agda
Ulf Norell
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where AFP
Authors Ulf Norell
Comments (0)