Referenzsprachen

Ada

• The Big Online Book of Linux Ada Programming
• The Wikibook on Ada Programming
• Ada 95 Reference Manual

Eiffel

• Eiffel home
• Bertrand Meyers homepage.
• Eiffel Syntax, Second Edition (Gobosoft)
• Linux-Installation ist in Vorbereitung.

Java

• James Gosling, Bill Joy, Guy Steele, Gilad Bracha: The Java Language Specification, Second Edition

Standard ML (meta language)

• Solaris-Installation: /usr/local/pub-bkb/bin/sml-cm bzw. /usr/local/pub-bkb/bin/sml
• Robert Harper: Programming in Standard ML
• The Standard ML Basis Library

Haskell (auf meiner Seite zu "PI3 - Funktionale Programmierung")

Prolog

• Solaris-Installation: /usr/local/lang/Prolog/bin/pl
• SWI-Prolog 5.0.9 Reference Manual