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

[ 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.