Programming Languages

Lambda Calculus Interpreter
A small interpreter for the untyped lambda calculus.
04/05/24
Repo
PCF Interpreter and Typechecker
A small interpreter and typechecker for PCF (Programming Computable Functions)
04/05/24
Repo
Summary of "Algebra of Programming"
A student summary of the course “Algebra of Programming” that was taught in the winter semester 23/24
04/05/24
Repo
Implementing Categorical Notions of Partiality and Delay in Agda
My bachelor’s thesis in computer science. Advisor: Sergey Goncharov
03/21/24
Thesis Slides HTML Repo