Progamming Languages

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

Course notes for several programming language related courses are on-line:

12.4PL1: a few lectures on functional languages
F21SC Systems Programming and Scripting
F21DP Parallel and Distributed Technology

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
Slides: Trends in Languages, 2010

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# (F#, Par Prg in 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:

An Introduction to Modula-2 (Modula-2 Standard (draft))
The C Book
Cforall (C extension with parametric polymorphism)
FX
Cyclone, a Safe Dialect of C.
C# (C# Language Specification)a
- "Parallel Programming with Microsoft .NET --- Design Patterns for Decomposition and Coordination on Multicore Architectures", by C. Campbell, R. Johnson, A. Miller, S. Toub. Microsoft Press. August 2010. http://msdn.microsoft.com/en-us/library/ff963553.aspx
- Functional C# code
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
- Scala Tutorial
- Scala by Example

Languages for embedded systems:

Giotto

Scripting languages:

Bash, the bourne again shell (see my page about online docu for bash).
- Bash on-line manual
- Advanced Bash Scripting Guide
- Bash scripting tutorial (introductory, example-driven)
- Bash Programming How-To (introductory; fairly old)
- Bash by example (introductory, example-driven)
- Learning the bash Shell, By Cameron Newham & Bill Rosenblatt (Book)
csh and tcsh:
- Using csh & tcsh, By Paul DuBois
Scheme Shell
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:
Vyper an extension of Python with many FP features ( Sourceforge page

Web scripting:

General info on Unix-side scripting (see here for a list of cheat sheets):

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 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
The C Programming Language

Special purpose languages:

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:

Computer Architecture @ UIUC'2007 (covering MIPS assembler, MMX, early multi-core)
Functional Programming
Semantics of Programming Languages

Hans-Wolfgang Loidl

Last modified: Tue Mar 6 16:19:11 2012