Re: [TYPES] Translation of bounded quantifications into intersection types

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On 12/11/18 3:18 PM, Stephen Dolan wrote: This suggests a different definition of subtyping between polymorphic types: one polymorphic type is a subtype of another if the first has more instances. Equivalently, one

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

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] The work on extensible sum types (e.g. like the polymorphic variants of OCaml) could be interesting for you if you don’t know about it already. A notable work on this is “A polymorphic record calculus and its

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

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On Thu, 6 Dec 2018 at 12:51, Rodolphe Lepigre wrote: > It is also probably worth checking out the work I did on subtyping with > Christophe Raffalli. It has been around for a while, but only recently > accepted for

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

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On Thu, 6 Dec 2018 at 10:13, Sam Lindley wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > Anyone interested in type inference in the presence of subtyping should > read