Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.

Vincent Simonet

Browse the full APLAS paper archive.