Daniel Mroz
Computer Science PhD student, University of Manchester
Research Interests: Logic, category theory, (directed) homotopy theory
CV ~ Github ~ Flickr
Email: me (at) danielmroz.co.uk
or, daniel.mroz (at) manchester.ac.uk
About
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.
Notes
Short notes I've written up on various subjects.
Posts
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
LamE
—A small functional language