System FC with explicit kind equality.

Stephanie Weirich, Justin Hsu, Richard A. Eisenberg

Browse the full ICFP paper archive.