Dependently Typed Pattern Matching (0)

by H Xi
Venue:Journal of Universal Computer Science