Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Aaron Gray <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CANkmNDcoM2OSwi6X1DWW+GUJSyOos9-0SmHLLfM6es_dzDifOw@mail.gmail.com> |
[ 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