CSci 4651 Programming Languages - Resources

[Home] [Syllabus] [Assignments] [Resources]

NEW: Abstracts for final papers, with results of voting. Only votes of 3 and above are listed.

This page contains handouts for the course and links to other helpful materials. The materials will be added as the course progresses.

Required materials are marked in light green.

The course wiki is a place to add your own resources that you find helpful and/or related to the course material.


General resources


Lambda calculus and program correctness

Early imperative languages and C/C++

OCaml resources

OCaml examples


Object-oriented features in C++ and Java

Clojure concurrency

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.