Programming Languages/Systems: Online Resources

• Standard ML
  • Programming in Standard ML
  • Standard ML of New Jersey
• Miranda
  • An Overview of Miranda
  • The Miranda Programming Language
  • Miranda System Manual
    (also accessible from the Miranda Interpreter: type /man at the Miranda prompt)
• Prolog
  • Adventure in Prolog
  • Guide to Prolog Programming
  • SICStus Prolog Manual
• Oz/Mozart
  • Oz handouts: 1 (ps, pdf), 2 (ps, pdf), 3 (ps, pdf) (courtesy of Prof. Seif Haridi).
  • A Tutorial of Oz
  • Mozart Documentation
• Emacs
  • A Tutorial Introduction to GNU Emacs