Dependently Typed Pattern Matching (2004)

by H
Venue:In post-workshopProceedings of TYPES 2003 (2004), Springer-Verlag LNCS 3085