Course Resources

Lecture Notes

Lecture notes from IPT/IPT edition 2004. The lecture notes contain useful information but examples and notation are out-of-sync with the CCO slides and library. The lecture notes have not been updated, so keep this in mind when using it.

Slides

See the CourseSchedule.

Additional reading material for the capita selecta

• Garbage collection
  • Required reading: GC survey.
  • Optional (background) reading: memory management course by Kathryn McKinley, Richard Jones' Garbage Collection Page.

• Smalltalk
  • Required reading:
    • Historical but still the most concise: The Smalltalk-80 System (at page 36, pdf page 12), The Smalltalk-80 Virtual Machine (at page 300, pdf page 113) from Byte Magazine, August 1981, Smalltalk Issue.
    • Recent language + systems overview: Smalltalk: Getting The Message, The Essentials of Message-Oriented Programming with Smalltalk.
  • Optional (background) reading:
    • More extensive description of the implementation in Smalltalk-80: The Language and Its Implementation, aka the Blue Book.
    • Many public domain Smalltalk textbooks gathered by Stephane Ducasse, also for various tutorials.
    • smalltalk.org
  • Systems: Squeak, and others.

• Lambda calculus implementation, SKI combinators, Super combinators
  • Required reading:
    • Combinators: Basic SKI combinators
    • Improved SKI
    • Supercombinators
    • SKI interpreter, Scott/Church encodings in Haskell: LambdaCalculus.hs
  • Optional (background) reading: Using a Single Combinator (Jeroen Fokker)

Lab exercises

See the MiniProjects.

CCO Library

Latest version

• 0.0.4: Source distribution | Documentation

Older versions

• 0.0.3: Source distribution | Documentation
• 0.0.2: Source distribution | Documentation
• 0.0.1: Source distribution | Documentation

Reference Implementations

• 0.0.4: Source distribution

The distribution contains the following tools:

#UUAGReading

Attribute Grammar system (UUAG)

• Utrecht University Attribute Grammar Compiler, installable via cabal uuagc, and the UUAGC page.
• UUAG tutorials and workshops have been given several times:
  • Slides and examples used at a ICFP2012 workshop, which are the most extensive ones, used throughout this course.
  • Material used for IPA2013 course on Software Engineering, with an extract of the above slides and reference to example implementations.
  • The AFP summerschool

Haskell Utrecht Tools

• Haskell Utrecht Tools Library (uulib-0.9.5): Source distribution | Documentation.

To facilitate the execution of parsers built with the combinators from the HUT Library within the Feedback monad from the CCO library, a small satellite utility module CCO.Parsing.UU has been made available.

An interpreter for simple arithmetic expressions implemented using the scanner and the parser combinators from the HUT Library is provided as an illustration of the use of the library.

Alternative parser combinator libraries

Other parser combinator libraries may be used, but they lack wrappers from the CCO library (feel free to add such wrappers and send me the code).

• uu-parsinglib is the newer version of the parser combinators in uulib. It is not (yet) used by the CCO library. The API is almost the same and better documented.
• The parser combinator library from Talen & Compilers could be used as well.

Simple Stack Machine

Download | Documentation

Samples

lhs2TeX

Sample lhsexample.lhs which gives pdf documentation and Main.hs when compiled as follows:

	lhs2TeX --poly lhsexample.lhs > lhsexample.tex
	pdflatex lhsexample.tex
	lhs2TeX --code lhsexample.lhs > Main.hs

Example exams

• 20110420.pdf: Exam of April 2011