Jump to : Keyword | Contact | BibTex reference | EndNote reference |

tajo92a

J.-P. Talpin, P. Jouvelot. The Type and Effect Discipline (Extended Version). Research Report Ecole des Mines de Paris, No 0, December 1991.

Keyword

[ Parametricity ]

Contact

J. Talpin
P. Jouvelot

BibTex Reference

@TechReport{tajo92a,
   Author = {Talpin, J.-P. and Jouvelot, P.},
   Title = {The Type and Effect Discipline (Extended Version)},
   Number = {0},
   Institution = {Ecole des Mines de Paris},
   Month = {December},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)