Practical Type Inference for the GADT Type System (2010)

Cached

Download Links

by Chuan-kai Lin