Higher-Order Intersection Types and Multiple Inheritance (1995)

Cached

Download Links

by Adriana B. Compagnoni , Benjamin C. Pierce
Citations:17 - 6 self