T. Sheard, E. Pasalic 8 2004. Meta-programming With Built-in Type Equality (Extended Abstract) Preuzmi PDF Mathematics + 1