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:

• Understanding Programming Languages, Cliff Jones, Springer 2020 (with complete slides)
• 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

• Structure and Interpretation of Computer Programs, by Hal Abelson, Jerry Sussman and Julie Sussman. MIT Press.
• 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)

• 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#, Try 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
• Koka a fctal-oo lang with effect handlers

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
  • Learning C# by Programming Games
• C++:
  • C++ for Java Programmers
  • Online course on Blender
• 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
• Oz

Languages for embedded systems:

• Giotto

Systems languages:

• Rust:
  • Beginning Rust
  • The Rust Programming language: ISBN-13: 9781718500440

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

To Check:

• Julia
• Terra

• PHP manual
• PHP tutorial
• PHP tutorial
• Clio a lazy purely-functional language for web-scripting
• Typescript

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

• Unix Tutorial for Beginners
• Unix in 10 minutes
• Learning the Shell
• Unix Toolbox (detailed!)

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

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