Downloads

These are all the things that are available, sorted by type:

Papers

There is a BibTeX list of all these papers.

• Deriving Generic Functions by Example - presented at YDS 2007 (from Derive)
• Uniform Boilerplate and List Processing - presented at Haskell Workshop 2007 (from Uniplate)
• Supero: Making Haskell Faster - presented at IFL 2007 (from Supero)
• Yhc.Core - from Haskell to Core - an article from The Monad.Reader (from Yhc)
• A Static Checker for Safe Pattern Matching in Haskell - An overview of pattern match checking (from Catch)
• Visual Hat (from Hat)
• Unfailing Haskell: A static checker for pattern matching - written with Colin Runciman (from Catch)
• Unfailing Haskell - my Qualifying disseration (from Catch)

Releases

• Released version 0.1.1 (from Catch)
• Released version 0.1 (from Derive)
• Released version 1.0 (from FilePath)
• Released version 0.1 (from Safe)
• Released version 0.1 (from Tag Soup)
• Released version 1.0 (from Uniplate)
• Released version Sep 2006 (from WinHugs)

Manuals

• Catch: A User Manual (from Catch)
• Deferred Binary Serialisation (from Deferred Binary)
• Data.Derive: A User Manual (from Derive)
• Hoogle Manual (wiki) (from Hoogle)
• Drinking TagSoup by Example (from Tag Soup)
• Boilerplate Removal with Uniplate (from Uniplate)
• Yhc Manual (wiki) (from Yhc)

Draft Papers

• A Supercompiler for Core Haskell - submitted to the post proceedings of IFL 2007 (from Supero)
• Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching - awaiting revision (from Catch)
• A New Parser - a very early draft, with a few details. (from Parsing)

Slides from Presentations

• Detecting Pattern-Match Failures in Haskell - a talk I gave at the Oxford Centre for Metacomputation (from Catch)
• Deriving Generic Functions by Example - presented at YDS 2007 (from Derive)
• Uniform Boilerplate and List Processing - a talk given at Haskell Workshop 2007, video available (from Uniplate)
• Supero: Making Haskell Faster - a talk I gave at IFL 2007 (from Supero)
• Yhc: Past, Present, Future - a short talk I gave at AngloHaskell 2007 (from Yhc)
• Faster Haskell - a talk I gave at AngloHaskell 2007 (from Supero)
• Transformation and Analysis of Haskell Source Code - my thesis seminar (from Uniplate)
• Fastest Lambda First - a talk I gave to PLASMA (from Supero)
• First Order Haskell - a talk I gave at BCTCS 2007 (from Catch)
• Ada: Generics - given as part of the Algorithms and Data Structures course at York. (from Teaching)
• Playing with Haskell Data - a talk I gave to PLASMA (from Uniplate)
• Haskell With Go Faster Stripes - a talk I gave to PLASMA (from Supero)
• Hat: Windows and WIMP - a talk I gave at Hat Day 2006, at The University of Kent. (from Hat)
• Catch, A Practical Tool - a talk I gave at BCTCS 2006 (from Catch)
• Catch, Lazy Termination - a talk I gave to PLASMA (from Catch)
• Hoogle - a talk I gave to PLASMA. (from Hoogle)
• Unfailing Haskell: A static checker for pattern matching - a talk I gave at TFP 2005 (from Catch)
• Hat Visual - a talk I gave as part of the Hat day, at York (from Hat)
• Total Pasta - a talk I gave at BCTCS 2005, on a totality checker for a pointer programming language. (from Total Pasta)
• Termination checking for a lazy functional language - my first year literature review seminar. A list of references is available (from Catch)
• A New Parser Presentation - a talk I gave to PLASMA, on a new design for a parsing system. (from Parsing)

Darcs repositories

• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/catch (from Catch)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/binarydefer/ (from Deferred Binary)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/derive/ (from Derive)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/drhaskell (from Dr Haskell)
• darcs get --partial http://darcs.haskell.org/packages/filepath/ (from FilePath)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/guihaskell (from GuiHaskell)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/hoogle (from Hoogle)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/proplang (from PropLang)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/proposition/ (from Proposition)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/safe/ (from Safe)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/tagsoup/ (from Tag Soup)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/tex2hs (from Tex2hs)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/uniplate/ (from Uniplate)
• darcs get --partial http://www.cs.york.ac.uk/fp/darcs/winhaskell (from WinHaskell)
• darcs get --partial http://darcs.haskell.org/yhc/ (from Yhc)

Haddock documentation

• Haddock documentation (from Deferred Binary)
• Haddock documentation (from Derive)
• Haddock documentation (from FilePath)
• Haddock documentation (from Proposition)
• Haddock documentation (from Safe)
• Haddock documentation (from Tag Soup)
• Haddock documentation (from Uniplate)
• Haddock documentation (from Yhc)

Blog Postings

• Related Blog posts (from Catch)
• Related Blog posts (from Deferred Binary)
• Related Blog posts (from FilePath)
• Related Blog posts (from Hoogle)
• Related Blog posts (from Supero)
• Related Blog posts (from Uniplate)
• Related Blog posts (from Yhc)

Tags: admin