References
- IEEE Compuler v.28 no.2 A plea for lean software Niklaus Wirth
-
Proceedings of the 4th International Workshop on Database Programming Languages-Object Models and Languages
Designing linguistic interface to an object database or what do
$C^{\perp+}$ , SQL, and hell have in common? T.Andrews - Inviled presentation of ACM '94 Conference on Programming Language Design and Implementation Principled design of programming languages Guy L. Steele, Jr.
- Journal of Functional Programming v.3 no.4 A critique of Standard ML Andrew W. Apple
- History of Programming Languages Conference(HOPL-II) v.28 no.3 The development of the C language, In ACM SIGPLAN Notices Dennis M. Ritchie
- Mesa language manual(version 5.0), Rept. csl-79-3 James G. Mitchell;William Maybury;Richard Sweet
- Technical Report Rept. 21 Evolving the UNIX system interface to support multithreaded programs Paul R. McJones;Garret F. Swart
- IEEE Software v.3 no.6 Extending Modula-2 to build large, integrated systems Paul Rovner
- Proceedings of the 10th ACM Symposium on Operaling Systems Principles The structuring of systems using upcalls David D. Clark
- Lecture Notes in Computer Science v.114 CLU Reference Manual Barbara Liskov;Russel Atkinson;Toby Bloom;Eliot Moss;J.Craig Schaffert;Robert Scheifler;Alan Snyder
- Reference Manual for the Ada Programming Language United States Department of Defense
- The Definition of Standard ML Robin Milner;Mads Tofte;Robert Harper
- Commentary on Standard ML Robin Milner;Mads Tofte
- Standard ML of New Jersey, Technical Memorandum David B.MacQueen;Andrew W.Appel
- Elements of ML Programming Jeffery D.Ullman
- ACM Symposium on Principles of Programming Languages Principal type-scheme for functional programs Luis Damas;Robin Milner
- Journal of Computer and System Sciences v.17 A theory of type polymorphism in programming Robin Milner
- ACM Symposium on Principles of Programming Languages Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints Patrick Cousot;Radhia Cousot
- Proceedings of the 7th International Conference on Computer Aided Verification Edition v.393 Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rulebased and game-theoretic form, In Lecture Notes in Computer Science Patrick Cousot;Radhia Cousot
- PhD thesis, Carnegie Mellon University Set Based Program Analysis Nevin Heintze
- Journal of Functional Programming v.2 no.3 Polymorphic type, region and effect inference Jean-Pierre Talpin;Pierre Jouvelot
- The C Programming Language (2nd edition) Brian W.Kernighan;Dennis M.Ritchie
- The C++ Programming Language (2nd edition) Bjarne Stroustrup
- C++ Primer Stanley B.Lippman