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

Aaron Gray aaronngray.lists at gmail.com
Tue Dec 11 17:54:46 EST 2018

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 :-


Many thanks,



More information about the Types-list mailing list