PiSigma: Dependent Types without the Sugar.

Thorsten Altenkirch, Nils Anders Danielsson, Andres Lh, Nicolas Oury

Browse the full FLOPS paper archive.