CSE 505 - Useful Links

General Programming Language Research Resources

• Mark Leone's amazing, although outdated, collection of Programming Languages Research pages, including links to researchers' home pages, project pages, conference pages, and other links pages
• Google's directory on programming languages
http://directory.google.com/Top/Computers/Programming/Languages/
• Yahoo's directory on programming languages
• Cetus Links on OO (and other) languages and environments
• Gary Leavens's language self-study page
• Programming language critiques

Language-Specific Resources

Lambda Calculus

• Some more lambda calculus pages from Monash University

Scheme

• MIT Scheme home page
• MIT Scheme User Manual
• R⁴RS: Scheme Reference Manual

ML

• CMU's Standard ML page
• A Gentle Introduction to ML
• Using the SML/NJ System
• Moscow ML Documentation
• Objective Caml (an object-oriented extension of Caml, the dialect of ML developed in France)

Haskell

• Haskell page
• A Gentle Introduction to Haskell
• Hugs User Manual

Constraint Languages

• Constraints Archive

Object-Oriented Languages

• Java documentation from Sun (see the online tutorial and JDK 1.2 API in particular)
• Self Group's home page at Sun
• Dylan
• Pizza and GJ (extensions of Java)
• Eiffel Home Page
• BETA Home Page
• Squeak (a freely-available and highly portable version of Smalltalk)

Other Interesting Languages

• Python (also see the Esperanto version)
• Modula-3 home page
• The C++ Virtual Library
• Common Lisp the Language, 2nd Edition (including CLOS, the object-oriented component of Common Lisp)

UW Language-Related Projects

• Cecil
• ZPL
• Constraint-Based Programming Systems