Meta-programming With Built-in Type Equality (2008)

by T Sheard, E Pasalic
Venue:Electronic Notes in Theoretical Computer Science