[TYPES] type inference for mutually recursive algebraic types with subtyping

Aaron Gray aaronngray.lists at gmail.com
Tue Dec 4 22:43:47 EST 2018


I am looking for papers on type inference for mutually recursive algebraic
types with subtyping.

Many thanks in advance,

Aaron
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and amateur computer scientist.


More information about the Types-list mailing list