Bidirectional Elaboration of Dependently Typed Programs.

Francisco Ferreira, Brigitte Pientka

Browse the full PPDP paper archive.