System F with type equality coercions (2007)

Cached

Download Links

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