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

[Aaron Gray]

On Thu, 6 Dec 2018 at 10:13, Sam Lindley <Sam.Lindley at ed.ac.uk> 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 Stephen Dolan's PhD dissertation on algebraic subtyping:
>
>    https://www.cl.cam.ac.uk/~sd601/thesis.pdf
>
> The main ideas are also covered in his POPL 2017 paper with Alan Mycroft:
>
>    https://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf
>

Thank you I have looked at Stephen Dolan's dissertation, but was not very
keen on the technique of mapping onto an automata though.

There is an implementation on GitHub :-

    https://github.com/stedolan/mlsub

Many thanks,

Aaron

Aaron