CS 217: Programming Languages
Programming Language Links

ML

• Notes on Programming SML/NJ
  
• Standard ML of New Jersey
• A Gentle Introduction to ML
• Programming in Standard ML
• Mads Tofte's Four Lectures on Standard ML: Part 1, Part 2, and Part 3

Java

• Java for C++ Programmers
• The Java Language Specification
• The Java Tutorial
• Java Support
• Thinking in Java
• Generic Java
• Sun proposal to add generic types to Java

Prolog

• Adventure in Prolog
• Prolog and Logic Programming Tutorial
• SWI Prolog