Alan Mycroft. Incremental polymorphic type checking with update. In Proc. LFCS'92, 2nd International Symposium Tver'92, volume 620 of Lecture Notes in Computer Science. Springer-Verlag, 1992. Home/Search Document Details and Download
Context Related Articles |
This paper is cited by the following papers:
Implicit Polymorphic Type System for the Blue Calculus - Dal-Zilio (1997) (1 citation) (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