My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
