Login / Signup

Dependent Types in Practical Programming.

Hongwei XiFrank Pfenning
Published in: POPL (1999)
Keyphrases