[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
On Thu, 6 Dec 2018 at 10:13, Sam Lindley <[email protected]> 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
