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   Summary   Related Articles

....we are in the case where all function declarations are top level and mutually recursive. Moreover, a reference can appear in subject part of many declarations, a situation comparable to multiply dened functions. This problem is called incremental polymorphic type checking with update by Mycroft in [30] and It is exactly the case of the programming INRIA Implicit Polymorphic Type System for the Blue Calculus 23 language Prolog where predicates are incrementally and mutually dened. Type systems for Prolog have been extensively studied [31] and it should be possible to adapt them to our need. An ....

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.

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