- University of York
- York, United Kingdom
- Joined on
Sep 29, 2010
- FliterSC 2 Supercompiler for F-liter, based on Bollingbroke & Peyton-Jones (2010)
- ProofKata 1 Over the last three years, I've played with more theorem provers than I can actually remember. As I redescover small examples, I shall put them up here for posterity.
- FliterSemantics 1 Various descriptions of the semantics of f-liter.
- ProgGen 1 Lazy generation of small canonical programs
- PartialValues 1 Dealing with Haskell values that we expect to contain exceptions.