System F with type equality coercions (2007)

Cached

Download Links

by Martin Sulzmann , Manuel M. T. Chakravarty , Simon Peyton Jones , Kevin Donnelly
Citations:73 - 25 self