Referenzsprachen

Allgemein bekannte Sprachen

Java

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

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

Referenzsprachen

Ada

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

Eiffel

• Eiffel home
• Bertrand Meyers homepage.
• Eiffel Syntax, Second Edition (Gobosoft)

Standard ML (meta language)

• Robert Harper: Programming in Standard ML
• The Standard ML Basis Library

Prolog

• SWI-Prolog Reference Manual