Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version (2006)

Cached

Download Links

by Jeremy Siek , Walid Taha
Citations:2 - 0 self