Tag elimination – or – type specialisation is a type-indexed effect (2000)

by Walid Taha , Henning Makholm
Venue:In Subtyping and Dependent Types in Programming, APPSEM Workshop. INRIA technical report
Citations:11 - 5 self