Type Inference and Reconstruction for First Order Dependent Types (1995)

Cached

Download Links

by Neal Nelson
Citations:3 - 1 self