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