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

The implementation is heavily influenced by Pottier's work on subtyping + inference. https://hal.inria.fr/file/index/docid/73205/filename/RR-3483.pdf 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 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.