News

Here you will find all the in-class lecture code that we go over. This repository is a comprehensive collection of code examples, projects, and exercises designed to complement the material covered in ...
These lecture notes and problem sets were written by Thomas Robitaille for a lecture course at the University of Heidelberg. They are licensed under the Attribution Non-Commercial Share-Alike Creative ...
One of the most critical aspects of abstract representation of a programming language is the notion of a variable and its scope. We discuss how to standardize these aspects of a language description ...
It was important she have good notes on the lecture. Normally she used her laptop to take notes, but, without it, she’d have to rely on a more traditional approach.
This paper deals with linear programming techniques and their application in optimizing lecture rooms in an institution. This linear programming formulated based on the available secondary data ...
In the second part of the lecture we show how concurrency primitives along the lines of the pi-calculus can be embedded in ML, leading to Concurrent ML (CML). Lecture notes: 26-picalc.pdf; Reading: ...