Type-Level Computation Using Narrowing in Ωmega (2006)

by T Sheard
Venue:In Programming Languages meets Program Verification