Niklaus Wirth. Programming in Modula-2. Texts and Monographs in Computer Science. Springer-Verlag, 1983.  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Contracts for Higher-Order Functions - Findler, Felleisen (2002) (1 citation) (Correct)
Behavioral Software Contracts - Findler (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (171 citations) (Correct)
Verification of the cryptlib Kernel - Gutmann (2000) (Correct)
Typeful Programming - Cardelli (1989) (77 citations) (Correct)
A Module Calculus Enjoying the Subject-Reduction Property - Courant (1996) (3 citations) (Correct)
Understanding Control Flow - With Concurrent Programming using.. - Buhr (1995) (1 citation) (Correct)
Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1997) (46 citations) (Correct)
Typeful Programming - Cardelli (1993) (77 citations) (Correct)
HPGP: High-Performance Generic Programming for Computational.. - Hong, Schreiner (1996) (1 citation) (Correct)
A Case for Teaching Multi-exit Loops to Beginning Programmers - Buhr (1985) (5 citations) (Correct)
Signatures: A Language Extension for Improving Type.. - Baumgartner, Russo (1995) (20 citations) (Correct)
A Proposal to Study Type Systems for Computer Algebra - Baumgartner, Stansifer (1990) (3 citations) (Correct)
Modularization Constructs For Functional And Object-Oriented.. - Baumgartner (1996) (Correct)
Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (46 citations) (Correct)
Toward Reliable Modular Programs - Leino (1995) (32 citations) (Correct)
The Zinc Experiment: An Economical Implementation Of The Ml Language - Leroy (1990) (76 citations) (Correct)
Implementing Signatures for C++ - Baumgartner, Russo (1995) (2 citations) (Correct)
Between Dynamic Programming and Greedy: Data Compression - Bird, de Moor (1995) (5 citations) (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (171 citations) (Correct)
An Applicative Module Calculus - Courant (1997) (11 citations) (Correct)
A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1993) (171 citations) (Correct)
Independently Extensible Systems - Software Engineering.. - Szyperski (1996) (26 citations) (Correct)
MIX(FL): a kernel language of mixin modules - Ancona (1996) (Correct)
A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2001) (12 citations) (Correct)
Modular Formal Frameworks for Module Systems - Ancona (1998) (5 citations) (Correct)
Typeful Programming - Luca Cardelli Digital (1989) (77 citations) (Correct)
Signatures: A Language Extension for Improving Type.. - Baumgartner, Russo (1995) (20 citations) (Correct)
The Quest Language and System - Cardelli (1994) (3 citations) (Correct)
HPGP: High-Performance Generic Programming for Computational.. - Hong, Schreiner (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