[ 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 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 types with subtyping. Many thanks in advance, Aaron
-- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
