[TYPES] Minimal type reconstruction

Stefan Holdermans stefan at cs.uu.nl
Sat Nov 8 03:47:45 EST 2008


Josef, Andrew, Didier, Gavin, and Christian,

I asked:

> I have not found any discussion in literature of  the problem of  
> finding minimal completions. Can anyone on this list  provide me  
> with pointers to such discussions?


Thank you so much for your very helpful answers; I will look into the  
papers you mentioned.

Cheers,

   Stefan


More information about the Types-list mailing list