References

• Community of Science link
• SIGPLANet
• Midwest Society for Programming Languages and Systems
• IU library
• Programming Language Theory Texts online
• Repositery of Computer Science papers (CoRR)
• Industry Labs
• Publishers
• Organizations
• Vendors (Dell)
• Journals
• Unified CS Technical Reports Index
• Computer Science bibliographies
• Conference archives (ICFP, DB&LP: Conferences & Workshops)

Languages and Implementations

• The Schemers Web Page
• Haskell
• SML/NJ
• Objective Caml
• Java, Java 1.2 API
• Patterns Home Page
• Isabelle

News

• Summer School on the Proofs as Programs Paradigm
• Epigrams on Programming
• C++ Critique 3rd Ed. (Oct.96) - Download Page and latest news
• The types forum
• The Princeton Review: College Rankings