Jean-Pierre Talpin. Aspects Théoriques et Pratiques de l'Inférence de Type et d'Effets. PhD Thesis l'Ecole Nationale Supérieure des Mines de Paris, May 1993.
[ Parametricity ]
@PhdThesis{talpin93,
Author = {Talpin, Jean-Pierre},
Title = {Aspects Théoriques et Pratiques de l'Inférence de Type et d'Effets},
School = {l'Ecole Nationale Supérieure des Mines de Paris},
Month = {May},
Year = {1993}
}
Get EndNote Reference (.ref)