First-Class Subtypes.

Jeremy YallopStephen Dolan
Published in: ML/OCaml (2017)