L.Cardelli: Basic polymorphic typechecking, AT&T Bell Laboratories Computing Science Technical Report 119, 1984. Also in "Polymorphism newsletters", II.1, Jan 1984.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985)   (90 citations)  Self-citation (Cardelli)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC