[TYPES] type inference for mutually recursive algebraic types with subtyping
Sam.Lindley at ed.ac.uk
Wed Dec 5 19:40:48 EST 2018
Anyone interested in type inference in the presence of subtyping should
read Stephen Dolan's PhD dissertation on algebraic subtyping:
The main ideas are also covered in his POPL 2017 paper with Alan Mycroft:
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,
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the Types-list