Progamming Languages

This page collects links and other information about programming languages, mainly declarative ones.

Course notes for a few lectures on functional languages are available: 12.4PL1.

Web pages on programming languages in general:

• Prging Lang research Web page @ CMU
• Virtual Library @ Imperial College, London
• Catalog of compilers, interpreters, and other language tools
• The Haskell Bookshelf of introductory textbooks on Haskell and Functional Programming in general ( Haskell Report (book))
• Great Works in Programming Languages (collected by B Pierce)
• Programming Language Theory Texts
• Programming123 links to programming languages books

Textbooks:

• The Art of Computer Programming, Don Knuth (description of the series of books and drafts of new volumes)
• Real World Haskell
• The Implementation of Functional Programming Languages, Simon Peyton Jones (full text of the out-of-print edition from 1987)
• Designing and Building Parallel Programs -- Concepts and Tools for Parallel Software Engineering, Ian T. Foster, Addison Wesley, Reading, MA, 1995. (a good introductory on-line textbook on parallel programming)
• Parallel Programming in C with MPI and OpenMP Quinn, Michael J., 2004, McGraw Hill, ISBN: 0072822562 (new textbook on parallel programming; mainly numerical algorithms and message passing but also OpenMP (shared-memory))
• Programming Language Review (a comprehensive page with links to more detailed language info)
• Introduction to Programming Languages by Anthony A. Aaby (overview of different classes of languages)
• Concepts, Techniques, and Models of Computer Programming Peter van Roy, Seif Haridi, MIT Press, 2003.
• Object-Oriented System Development, by Dennis de Champeaux, Douglas Lea, and Penelope Faure
• Linux Kernel in a Nutshell (O'Reilly)

Functional Languages:

• The Haskell family:
  • Haskell, a lazy purely functional programming language (Haskell Home Page).
    • Glasgow Haskell compiler (GHC User's Guide). GHC implements Haskell 1.2 (GHC 0.xx) and Haskell 1.4 (2.xx).
    • HBC, a Haskell compiler developed and maintained by Lennart Augustsson, at Chalmers University of Technology
    • nhc98 (old nhc page a small, easy to install, standards-compliant compiler for Haskell 98
    • Hugs Home Page, Hugs is an interpreter for Haskell, a standard non-strict functional
    • Helium a Haskell compilation environment for teaching
    • Learning Haskell Portal
    Edison, a library of efficient data structures (Haskell version), by Chris Okasaki
  • PolyP an extension of Haskell with polytypic functions
  • Clean (download, Concurrent Clean Language Report 1.2)
• The ML family of languages (general info on SML):
  • Poly/ML
  • NESL a parallel functional language based on SML
  • SML/NJ compiler
  • CAML
  • OCaml: Objective Caml (OCaml light, a formal semantics for OCaml)
  • JoCaml: CAML and mobility
  • F#
  • Moscow ML
  • MLton
• The LISP/Scheme family:
  • Scheme FAQ (from comp.lang.scheme)
  • Scheme Home Page (@ MIT)
  • Scheme 48 Home Page (@ MIT)
  • Scheme 6 (R6RS)
  • Scheme Report (Version 4)
  • Scheme implementations
  • Scheme code repository
  • Bigloo a Scheme compiler with backends for C and JVM
  • Pico. Pico is a scheme dialect with modified syntax in order to have ordinary calculus-style syntax.
  • Elisp
  • CLISP
  • GNU Common Lisp
  • CMU Common Lisp
  • Common Lisp the Language(1029 pages), Guy Steele.
  • OnLisp on-line book.
  • Chicken a Scheme-to-C compiler
  • EuLisp

Other declarative languages:

• pH a parallel, eagerly-evaluated variant of Haskell.
• Pizza, a strict superset of Java 1.1, with parametric polymorphism, higher-order functions, and algebraic data types.
• Ciao (CLIP group)
• Lambda Prolog
• Forsythe ( Design of the Programming Language Forsythe, John C. Reynolds)
• Erlang, a functional language developed at and used by Ericsson
• Oz
• Elegant a sort-of functional language developed by Philips.
• FISh
• Data Field Haskell
• Epigram a functional languages with dependent types

Imperative languages:

• FX
• Cforall (C extension with parametric polymorphism)
• An Introduction to Modula-2 (Modula-2 Standard (draft))
• Cyclone, a Safe Dialect of C.
• C# (C# Language Specification)a
• Ada (Departmental Ada Resources i.e. this is only for Glaswegians)
  • The Ada 95 Reference Manual
  • GNAT User's Guide
  • Reference Manual
  • Ada Home
  • Lovelace --- an Ada95 Tutorial

Multi-paradigm languages:

• UFO, a hybrid functional, object-oriented language
• Mercury
• Goedel
• Dylan (a lang with fancy module system; also Gwydion project at CMU)
• Scala

Languages for embedded systems:

• Giotto

Scripting languages:

• Perl:
  • The Perl Language Home Page
  • Comprehensive Perl Archive Network
  • Picking Up Perl (online tutorial)
  • Another Online Perl Tutorial
  • O'Reilly books on Perl:
    • Learning Perl, By Randal L. Schwartz & Tom Phoenix
      (a tutorial style book; good for newbies to the language)
    • Programming Perl, Larry Wall, Tom Christiansen & Jon Orwant
      (the standard introduction book by the author of the language himself)
    • Advanced Perl Programming, By Sriram Srinivasan
      (advanced topics such as interfacing to databases, GUIs etc)
    • Perl Cookbook, By Tom Christiansen & Nathan Torkington
      (an advanced book, presenting common tasks and how to do them in Perl)
• Python:
  • Python Home Page
  • Python Tutorial
  • Python Quick Reference (local copy)
  • Python crash course
  • Python Cookbook
  • Functional programming in Python
  • wxPython
• Vyper an extension of Python with many FP features ( Sourceforge page
• Bash, the bourne again shell.
  • Bash on-line manual
  • Learning the bash Shell, By Cameron Newham & Bill Rosenblatt
  • Bash FAQ
  • Advanced Bash Scripting Guide (new url)
• csh and tcsh:
  • Using csh & tcsh, By Paul DuBois
• Scheme Shell

Other parallel languages:

• X10, IBM's parallel language
• Fortress, Sun's parallel language
• High Performance Fortran Language Specification V1.0
• Fortress (new page) secure Fortran for HPC (language specification)

All the rest:

• Eiffel:
  • GNU Eiffel aka SmallEiffel, developed at INRIA
  • An Eiffel home page that is held on the University of Wales College of Cardiff's server.
  • Geoff Eldridge's Eiffel pages including GUERL, a preview of Eiffel Liberty, an online journal, the online C++ Critique, and other useful information.
  • Gustave is a repository of Eiffel resources maintained by Roger Browne of Everything Eiffel.
• Java Language Specification
  • Java Generics FAQ
  • Library API
  • RTSJ - Real-time Java
• The C Programming Language

Special purpose languages:

• LaTeX Home Page
• LaTeX
• teTeX Home Page
• LaTeX course
• nroff/troff quick reference

Books about Linux and UNIX in general:

• Learning the UNIX Operating System: A Concise Guide for the New User , By Grace Todino-Gonguet, John Strang, Jerry Peek. 5th Edition October 2001 ISBN 0-596-00261-0, Order Number: 2610.
  (an introduction to UNIX for newbies)
• UNIX in a Nutshell: System V Edition, By Arnold Robbin
  (standard reference book)
• Linux Cookbook, learning UNIX by examples (for Beginners)

Other good places to check for information about programming languages:

• O'Reilly's Safari
• Yahoo's Programming Language Page
• Seung P. Hong's list of programming languages.

Local resources:

• Local Java resources
• Library Book on Parallel Algorithms
• Library Book on C
• Library Book on Perl, Library Book on Perl
• Books in Edinburgh University's Support Library (the list gives a good summary of useful books, even though access to the library is restricted to local users)

Online courses etc:

• Functional Programming
• Semantics of Programming Languages