Erasable coercions: a unified approach to type systems
- November 18, 2013
My PhD thesis manuscript is sent for review and I finally have some time to write a blog post about it! It presents a framework of coercions to describe and unify existing type systems. In particular, all erasable type system features (such as coherent polymorphism) are expressed as coercions, which can be seen as a subtyping relation between erasable typings.
- November 9, 2013
- Last updated on 2013/11/10