[ 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
e covering coinduction
in a very clever way.
Its great to have an implementation too as well.
Many thanks I think I will be use this.
Regards,
Aaron
On 05/12/18 03:43, Aaron Gray wrote:
> > [ The Types Forum,
> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> >
> > I
[ 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
pes-list ]
>
> 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.
in his POPL 2017 paper with Alan Mycroft:
https://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf
Sam
On 05/12/2018 16:43, Aaron Gray wrote:
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I am looking for papers on type inference for mutually recursive algebraic
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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