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

Cached

Download Links

by Tim Sheard
Citations:14 - 1 self