127 citations found. Retrieving documents...
G. Nelson. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, 1991.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

First 50 documents  Next 50

Issues in Evolving Existing Commercial Operating Systems - Banerji   (Correct)
A Higher-order Module Discipline with Separate.. - Duchier.. (1998)   (2 citations)  (Correct)
Transparent Modules with Fully Syntactic Signatures - Shao (1999)   (20 citations)  (Correct)
Quantitative Analysis of Protection Options - Banerji, Panteleenko, Wyant, Cohn (1996)   (5 citations)  (Correct)
Tackling the Awkward Squad: monadic input/output, concurrency.. - Jones (2002)   (Correct)
Tackling the Awkward Squad: monadic input/output, concurrency.. - Jones (2002)   (Correct)
Modular Typechecking for Hierarchically Extensible.. - Millstein, Bleckner.. (2002)   (2 citations)  (Correct)
An implementation of F<: - Cardelli (1993)   (Correct)
Obliq - A Language with Distributed Scope - Cardelli (1994)   (83 citations)  (Correct)
Obliq - A language with distributed scope - Cardelli (1995)   (83 citations)  (Correct)
Unknown - Language With Distributed   (Correct)
Operating System Support for Easy Development of.. - Kourai, Chiba, Masuda (1998)   (Correct)
Types in Programming Languages - Camarão, Figueiredo, Pimentel   (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005)   (Correct)
Modular Formal Frameworks for Module Systems - Ancona (1998)   (5 citations)  (Correct)
Converting Java Classes to Use Generics - von Dincklage, Diwan (2004)   (2 citations)  (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005)   (Correct)
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005)   (Correct)
Unknown -   (Correct)
Position Paper for ECOOP'92 Workshop on Multiple.. - Multiple Inheritance And   (Correct)
Names and Higher-Order Functions - Stark (1995)   (29 citations)  (Correct)
Program Fragments, Linking, and Modularization - Cardelli (1997)   (Correct)
Destructors, Finalizers, and Synchronization - Boehm (2003)   (Correct)
Exception safety for C# - Leino, Schulte (2004)   (Correct)
An implementation of F<: - Cardelli (1993)   (Correct)

First 50 documents  Next 50

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