Lectures

Temperature

Defines a type Temperature with several conversion routines as well as tests against specifications.

Programming Foundations, Algebraic Types

Bike Computer

Live programming module. Take it as what it is: a program which was created live and from scratch together with you during the lecture and which is set on-line here raw without any polishing. The accompanying lecture recording may be more enlightening than the code alone.

Programming Foundations, Functions and basic type system

Bike Computer (cleaned up)

Same program as above, only cleaned up and completed after the lecture.

Programming Foundations, Functions and basic type system

Recursions

Live programming module. No beautifications - just the raw code from the lecture.

Essential Programming, Recursive functions

Integer_Subtypes

Provided the types Positive and Natural (used in the live programming code about recursions above).

General support module

Sorting

Contains mergesort, insert_sort and quicksort, as well as the accompanying test routines.

Programming Foundations, Algebraic Types

Boolean_XOr

Six ways to define this boolean function.

Abstract Types

Rational_Pi

Defines a more precise version of pi.

Abstract Types

Pattern_matching

Showcases a common pitfall with rigid and flexible length pattern matching.

Algebraic Types

Is_Element

Four ways to define an "is element of list" function.

Algebraic Types

Fractal_Tree

A recursive function to draw a tree based on a single shape.

Algebraic Types

Geometry

Includes the Vector_3D definition and operations, as well as the definition of basic Geometry.

Algebraic Types

Binary_Search_Trees

Live programming module. No beautifications - just the raw code from the lecture.

Algebraic Types

Binary_Trees

Defines a binary Tree data structure with basic operations.

Algebraic Types

AVL_Trees

Self-balancing tree implementation, based on the original design by G. M. Adelson-Velskii and E. M. Landis from 1962.

Algebraic Types (comp1130)

Mapping_and_Folding

Motivation and examples for higher order functions.

Modular Programming

Sets

A module for sets based on equality alone.

Modular Programming

Sets_Ordered

A module for sets based on order.

Modular Programming

Sets_Binary_Search

A module for sets based on order and binary search trees.

Modular Programming

Tables

Tables_Ordered_Keys

Tables_Types

Tables_Implementation

A module for sets based on order and binary search trees.

Modular Programming