System F with coercion constraints.

Julien Cretin, Didier Rmy

Browse the full CSL paper archive.