[void_star]

This is really cool. Does anyone have pointers to relevant papers that inspired/influenced their type system?

[avik]

The implementation is heavily influenced by Pottier's work on subtyping + inference. https://hal.inria.fr/file/index/docid/73205/filename/RR-3483...

Also, some techniques from Typed Racket (occurrence typing): http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf

Many other papers have influenced the design in some way or the other. For example, Abadi/Cardelli's theory of objects.

[slashnull]

It's pretty much a bastardized form of HM typing, like Haskell, OCaml and ML has.

http://learnyouahaskell.com/