Theoretical and Practical Aspects of Type and Effect Inference,'' Doctoral Dissertation; also available as Research Report EMP CRI A-236, Ecole des Mines de Paris (1993)

by J-P Talpin