Reports and Articles

From thelas.dk

Computer Science Projects

Bit-coded Regular Expression Parsing

Regular Expression Containment

Symmetric Sum Types

Recursive Types (Prize Assignment)

Primes is in P (Batchelor Assignment)

Approximation Project

Compiler Project

Architecture Project

Kernel Project

Network Project