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/
• Cetus Links on OO (and other) languages and environments
• Gary Leavens's language self-study page

Language-Specific Resources

Lambda Calculus

• Some lambda calculus pages from Monash University

Scheme

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

ML

• Bob Harper's Programming in Standard ML
• CMU's Standard ML page
• documentation for SML's standard library
• Using the SML/NJ System

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 in particular)
• Self Group's home page at Sun
• Dylan
• Pizza and GJ (extensions of Java)
• Eiffel
• BETA
• Squeak (a freely-available and highly portable version of Smalltalk)
• Scala

Other Interesting Languages

• Python
• 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

• The Cecil Group, including the languages Cecil, Diesel, MultiJava, ArchJava, and EML
• ZPL
• Constraint-Based Programming Systems