Extending Hindley-Milner Type Inference with Coercive Structural Subtyping.

Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow

Browse the full APLAS paper archive.