Sciweavers

FLOPS
2010
Springer

PiSigma: Dependent Types without the Sugar

14 years 7 months ago
PiSigma: Dependent Types without the Sugar
Thorsten Altenkirch, Nils Anders Danielsson, Andre
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where FLOPS
Authors Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
Comments (0)