@manual{mitchell:yhc_manual
    ,title          = {Yhc Manual (wiki)}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://www.haskell.org/haskellwiki/Yhc'}
}

@manual{mitchell:uniplate_manual
    ,title          = {Boilerplate Removal with {Uniplate}}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/uniplate/uniplate.htm'}
}

@manual{mitchell:tagsoup_manual
    ,title          = {Drinking {TagSoup} by Example}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/tagsoup/tagsoup.htm'}
}

@manual{mitchell:hoogle_manual
    ,title          = {Hoogle Manual (wiki)}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://www.haskell.org/haskellwiki/Hoogle'}
}

@manual{mitchell:hlint_manual
    ,title          = {{HLint} Manual}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/hlint/hlint.htm'}
}

@manual{mitchell:derive_manual
    ,title          = {{Data.Derive}: A User Manual}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/derive/derive.htm'}
}

@manual{mitchell:cmdargs_manual
    ,title          = {{CmdArgs}: Easy Command Line Processing}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/cmdargs/cmdargs.htm'}
}

@manual{mitchell:catch_manual
    ,title          = {Catch: A User Manual}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/catch/catch.htm'}
}

@manual{mitchell:binarydefer_manual
    ,title          = {Deferred Binary Serialisation}
    ,author         = {Neil Mitchell}
    ,url            = {\verb'http://community.haskell.org/~ndm/darcs/binarydefer/binarydefer.htm'}
}

@inproceedings{mitchell:shake_2012_9_10
    ,title          = {Shake Before Building - Replacing Make with {Haskell}}
    ,author         = {Neil Mitchell}
    ,year           = {2012}
    ,month          = {September}
    ,day            = {10}
    ,location       = {Copenhagen, Denmark}
    ,booktitle      = {ICFP '12: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming}
    ,publisher      = {ACM}
    ,isbn           = {978-1-4503-1054-3}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-shake_before_building-10_sep_2012.pdf'}
}

@inproceedings{mitchell:supero_2010_9_29
    ,title          = {Rethinking Supercompilation}
    ,author         = {Neil Mitchell}
    ,year           = {2010}
    ,month          = {September}
    ,day            = {29}
    ,location       = {Baltimore, Maryland, USA}
    ,pages          = {309--320}
    ,booktitle      = {ICFP '10: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming}
    ,doi            = {http://doi.acm.org/10.1145/1863543.1863588}
    ,publisher      = {ACM}
    ,isbn           = {978-1-60558-794-3}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-rethinking_supercompilation-29_sep_2010.pdf'}
}

@inproceedings{mitchell:derive_2009_9_4
    ,title          = {Deriving a Relationship from a Single Example}
    ,author         = {Neil Mitchell}
    ,year           = {2009}
    ,month          = {September}
    ,day            = {4}
    ,location       = {Edinburgh, Scotland, UK}
    ,series         = {Lecture Notes in Computer Science, Vol. 5812}
    ,editors        = {Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer}
    ,isbn           = {978-3-642-11930-9}
    ,pages          = {1--24}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-deriving_a_relationship_from_a_single_example-04_sep_2009.pdf'}
}

@inproceedings{mitchell:firstify_2009_9_3
    ,title          = {Losing Functions without Gaining Data}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2009}
    ,month          = {September}
    ,day            = {3}
    ,booktitle      = {Haskell '09: Proceedings of the second ACM SIGPLAN symposium on Haskell}
    ,pages          = {49--60}
    ,location       = {Edinburgh, Scotland, UK}
    ,doi            = {http://doi.acm.org/10.1145/1411286.1411293}
    ,publisher      = {ACM}
    ,isbn           = {978-1-60558-508-6}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-losing_functions_without_gaining_data-03_sep_2009.pdf'}
}

@article{mitchell:hoogle_2008_11_19
    ,title          = {Hoogle Overview}
    ,author         = {Neil Mitchell}
    ,year           = {2008}
    ,month          = {November}
    ,day            = {19}
    ,journal        = {The Monad.Reader}
    ,number         = {12}
    ,pages          = {27--35}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-hoogle_overview-19_nov_2008.pdf'}
}

@inproceedings{mitchell:catch_2008_9_25
    ,title          = {Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2008}
    ,month          = {September}
    ,day            = {25}
    ,booktitle      = {Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell}
    ,pages          = {49--60}
    ,location       = {Victoria, BC, Canada}
    ,doi            = {http://doi.acm.org/10.1145/1411286.1411293}
    ,publisher      = {ACM}
    ,isbn           = {978-1-60558-064-7}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-not_all_patterns_but_enough-25_sep_2008.pdf'}
}

@phdthesis{mitchell:thesis_2008_6_4
    ,title          = {Transformation and Analysis of Functional Programs}
    ,author         = {Neil Mitchell}
    ,year           = {2008}
    ,month          = {June}
    ,day            = {4}
    ,school         = {University of York}
    ,pages          = {225}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-transformation_and_analysis_of_functional_programs-4_jun_2008.pdf'}
}

@inproceedings{mitchell:supero_2008_5_1
    ,title          = {A Supercompiler for Core {Haskell}}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2008}
    ,month          = {May}
    ,day            = {1}
    ,pages          = {147--164}
    ,booktitle      = {IFL 2007}
    ,editor         = {Olaf Chitil et al.}
    ,series         = {LNCS}
    ,volume         = {5083}
    ,publisher      = {Springer-Verlag}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-a_supercompiler_for_core_haskell-01_may_2008.pdf'}
}

@inproceedings{mitchell:derive_2007_10_26
    ,title          = {Deriving Generic Functions by Example}
    ,author         = {Neil Mitchell}
    ,year           = {2007}
    ,month          = {October}
    ,day            = {26}
    ,pages          = {55--62}
    ,publisher      = {Tech. Report YCS-2007-421, Dept. of Computer Science, University of York, UK}
    ,editor         = {Jan Tobias M\"{u}hlberg and Juan Ignacio Perna}
    ,booktitle      = {Proceedings of the First York Doctoral Syposium 2007}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-deriving_generic_functions_by_example-26_oct_2007.pdf'}
}

@inproceedings{mitchell:uniplate_2007_9_30
    ,title          = {Uniform Boilerplate and List Processing}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2007}
    ,month          = {September}
    ,day            = {30}
    ,booktitle      = {Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell}
    ,pages          = {49--60}
    ,location       = {Freiburg, Germany}
    ,doi            = {http://doi.acm.org/10.1145/1291201.1291208}
    ,publisher      = {ACM}
    ,isbn           = {978-1-59593-674-5}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-uniform_boilerplate_and_list_processing-30_sep_2007.pdf'}
}

@inproceedings{mitchell:supero_2007_9_27
    ,title          = {Supero: Making {Haskell} Faster}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2007}
    ,month          = {September}
    ,day            = {27}
    ,booktitle      = {IFL 2007: Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages}
    ,location       = {Freiburg, Germany}
    ,publisher      = {Tech. Report No. 12-07 of the Computing Laboratory, University of Kent, UK}
    ,editor         = {Olaf Chitil}
    ,pages          = {334--349}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-supero_making_haskell_faster-27_sep_2007.pdf'}
}

@article{mitchell:yhc_2007_4_30
    ,title          = {{Yhc.Core} - from {Haskell} to Core}
    ,author         = {Dimitry Golubovsky and Neil Mitchell and Matthew Naylor}
    ,year           = {2007}
    ,month          = {April}
    ,day            = {30}
    ,journal        = {The Monad.Reader}
    ,number         = {7}
    ,pages          = {45--61}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-yhc_core-30_apr_2007.pdf'}
}

@inproceedings{mitchell:catch_2007_2_1
    ,title          = {A Static Checker for Safe Pattern Matching in {Haskell}}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2007}
    ,month          = {February}
    ,day            = {1}
    ,publisher      = {Intellect}
    ,booktitle      = {Trends in Functional Programming}
    ,volume         = {6}
    ,isbn           = {978-1-84150-176-5}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-a_static_checker_for_safe_pattern_matching_in_haskell-01_feb_2007.pdf'}
}

@inproceedings{mitchell:hat_2005_10_28
    ,title          = {Visual {Hat}}
    ,author         = {Neil Mitchell}
    ,year           = {2005}
    ,month          = {October}
    ,day            = {28}
    ,booktitle      = {Hat Day 2005: work in progress on the Hat tracing system for Haskell}
    ,pages          = {23--26}
    ,publisher      = {Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK}
    ,editor         = {Colin Runciman}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-hatday-28_oct_2005.pdf'}
}

@inproceedings{mitchell:catch_2005_9_24
    ,title          = {Unfailing {Haskell}: A Static Checker for Pattern Matching}
    ,author         = {Neil Mitchell and Colin Runciman}
    ,year           = {2005}
    ,month          = {September}
    ,day            = {24}
    ,booktitle      = {Proceedings of the Sixth Symposium on Trends in Functional Programming}
    ,pages          = {313--328}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-unfailing_haskell_a_static_checker_for_pattern_matching-24_sep_2005.pdf'}
}

@misc{mitchell:thesis_2005_6_30
    ,title          = {Qualifying Dissertation: Unfailing {Haskell}}
    ,author         = {Neil Mitchell}
    ,year           = {2005}
    ,month          = {June}
    ,day            = {30}
    ,institution    = {University of York}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/paper-qualifying_dissertation-30_jun_2005.pdf'}
}

@unpublished{mitchell:parsing_2004_11_17
    ,title          = {Parser Design}
    ,author         = {Neil Mitchell}
    ,year           = {2004}
    ,month          = {November}
    ,day            = {17}
    ,note           = {Draft, very early notes on my ideas regarding parsing.}
    ,url            = {\verb'http://community.haskell.org/~ndm/downloads/draft-parser_design-17_nov_2004.pdf'}
}