McMaster University
Programming Languages

CAS 706 — Fall 2010

Presentation Topics

The presentation schedule is on a separate page.

OCaml

OCaml: Core language and module system (double presentation, 2 presenters) — introduction slides, module system slides

• OCaml tutorial recommended by Quang
• OCaml Documentation, in particular:
  • The Objective Caml language (Reference Manual)
  • OCaml Tutorial: The core language
  • OCaml Tutorial: The module system
• Leroy: Applicative Functors and Fully Transparent Higher-Order Modules

OCaml bytecode implementation

• Leroy: The ZINC experiment: an economical implementation of the ML language

OCaml Labels and Polymorphic Variants

• OCaml Tutorial: Labels and variants
• Garrigue: Label-selective Lambda Calculus
• Garrigue: Code reuse through polymorphic variants

OCaml class system (double presentation, 2 presenters) slides

• OCaml Tutorial: Objects in Caml
• OCaml Tutorial: Advanced examples with classes and modules

Dependently-Typed ML

• Dependent ML
• ATS

Prolog introduction and overview — slides

• William F. Clocksin, Christopher S. Mellish: Programming in Prolog
  • Using the ISO Standard. Springer, 5th ed., 2003, ISBN 978-3540006787.
  • 4th ed.: THODE Bookstacks QA 76.73 .P76 C57 1994
  • 3rd ed.: THODE Bookstacks QA 76.73 .P76 C57 1987
• Wikipedia: Prolog

The modern logic programming language Mercury

• Mercury home page

The functional-logic programming language Curry — slides

Curry home page

The LISP Family

Scheme — slides

Clojure

Object-Oriented

Crockford: JavaScript: The Good Parts — slides

• McMaster electronic resource

Scala (double presentation, 2 presenters) — slides 1, slides 2

Others

PostScript as a Programming Language

XSLT

VHDL — slides

Go — slides

• Home page
• Wikipedia: Go (programming language)