Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Standard ML 프로그래밍

  • Published : 1997.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. IEEE Compuler v.28 no.2 A plea for lean software Niklaus Wirth
  2. 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
  3. Inviled presentation of ACM '94 Conference on Programming Language Design and Implementation Principled design of programming languages Guy L. Steele, Jr.
  4. Journal of Functional Programming v.3 no.4 A critique of Standard ML Andrew W. Apple
  5. History of Programming Languages Conference(HOPL-II) v.28 no.3 The development of the C language, In ACM SIGPLAN Notices Dennis M. Ritchie
  6. Mesa language manual(version 5.0), Rept. csl-79-3 James G. Mitchell;William Maybury;Richard Sweet
  7. Technical Report Rept. 21 Evolving the UNIX system interface to support multithreaded programs Paul R. McJones;Garret F. Swart
  8. IEEE Software v.3 no.6 Extending Modula-2 to build large, integrated systems Paul Rovner
  9. Proceedings of the 10th ACM Symposium on Operaling Systems Principles The structuring of systems using upcalls David D. Clark
  10. 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
  11. Reference Manual for the Ada Programming Language United States Department of Defense
  12. The Definition of Standard ML Robin Milner;Mads Tofte;Robert Harper
  13. Commentary on Standard ML Robin Milner;Mads Tofte
  14. Standard ML of New Jersey, Technical Memorandum David B.MacQueen;Andrew W.Appel
  15. Elements of ML Programming Jeffery D.Ullman
  16. ACM Symposium on Principles of Programming Languages Principal type-scheme for functional programs Luis Damas;Robin Milner
  17. Journal of Computer and System Sciences v.17 A theory of type polymorphism in programming Robin Milner
  18. 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
  19. 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
  20. PhD thesis, Carnegie Mellon University Set Based Program Analysis Nevin Heintze
  21. Journal of Functional Programming v.2 no.3 Polymorphic type, region and effect inference Jean-Pierre Talpin;Pierre Jouvelot
  22. The C Programming Language (2nd edition) Brian W.Kernighan;Dennis M.Ritchie
  23. The C++ Programming Language (2nd edition) Bjarne Stroustrup
  24. C++ Primer Stanley B.Lippman