Theoretical and practical aspects of type and e#ect inference. Doctoral Dissertation. Also available as Research Report EMP/CRI/A-236, Ecole des Mines de Paris (1993)

by J-P Talpin