Type-level computation using narrowing in Ωmega (0)

by Tim Sheard
Venue:Electr. Notes Theor. Comput. Sci