Coercions
Coercions
This project is joint work with
Julien Cretin.
Extending System F with Abstraction over Erasable Coercions
The conference version (POPL 2012) is available here
[ ABSTRACT
| PDF
| BIB
].
A long version with detailed proofs is available on
HAL
as
INRIA Research Report 7587
[ ABSTRACT
| PDF
| BIB
]