An Algebraic Characterization of Typability in ML with Subtyping.

Marcin Benke

Browse the full FOSSACS paper archive.