Meta-programming with Built-in Type Equality (Extended Abstract) (2004)

Cached

Download Links

by Tim Sheard , Emir Pasalic
Citations:18 - 3 self