Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl (2001)

View PDF

Download Links

by Tim Sheard
Citations:17 - 1 self