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

Cached

Download Links

by Neal Nelson
Citations:3 - 1 self

Document Versions

Type Inference and Reconstruction for First Order Dependent Types –Neal Nelson — 1995