Computer Science PhD student, University of Manchester
Research Interests: Logic, category theory, (directed) homotopy theory
Email: me (at) danielmroz.co.uk
or, daniel.mroz (at) manchester.ac.uk
After studying Maths and Computer Science at Oxford, I'm now a PhD student at Manchester. I'm a big fan of functional programming, especially in Haskell, because it makes it possible to write very high-level, elegant and understandable programs, and easily reason about the correctness of programs.
Short notes I've written up on various subjects.
Categorical semantics of dependent types—
An introduction for undergraduates
Type level Haskell: FizzBuzz—
Some fun with Haskell's type system
Scraping Facebook posts with Haskell—
An exploration of the Oxfeud.it backend
A lambda-term that finds beta-normal forms—
Compiling to the lambda calculus
A small functional language