Master's thesis

An Implementation of a Typing System for Counting Instances of Software Components is my Master's thesis which I finished in 2005. If you read Norwegian, this is a folksy explanation of the project my thesis was a part of.

comp

"comp" is the name of the program I wrote as an implementation of the type inference algorithm described in my thesis. OCaml source code is included; to build, GNU Make and OCaml are required.