duhe88

Catherine Dubois, Fritz Henglein. A First-Order Axiomatization of Parametric Polymorphism and Dynamic Overloading and its Typol Specification. SETL Newsletter New York University, No 224, May 1988.

Keyword

[ Parametricity ]

Contact

Catherine Dubois
Fritz Henglein

BibTex Reference

@TechReport{duhe88,
   Author = {Dubois, Catherine and Henglein, Fritz},
   Title = {A First-Order Axiomatization of Parametric Polymorphism and Dynamic Overloading and its Typol Specification},
   Number = {224},
   Institution = {New York University},
   Month = {May},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)