This fairly theoretical paper discusses the notion of 'prinicipal typings' which is concerned with the notion of type inference. It shows how prinicipal typings can be used for seperate compilation of modules, smartest recompilation and for producing better typing error messages.
If you are not familiar with ML, esp. the type inferencing - I suggest you pursue the resources we mentioned here in the past.
Posted to "" by Ehud Lamm on 9/20/00; 4:37:28 AM