Download (last update 200228).
README file from the implementation.
Papers
A subtype system for functional programming . New (191105). Mostly theory but some notes on the implementation
Subtyping and algebraic data types. Older paper. More theory.
Subtyping, consistency and derivability. Even more theory.