%% Helper command for sorting without output
@preamble{{\newcommand{\noopsort}[1]{}}}


%% Conference and workshop papers
@inproceedings{noot11-embedding-polymorphic-dynamic,
  author    = {{\noopsort{Noort}{van Noort}}, Thomas and Swierstra, Wouter and
               Achten, Peter and Plasmeijer, Rinus},
  title     = {Embedding polymorphic dynamic typing},
  booktitle = {Proceedings of the Workshop on Generic Programming, WGP~'11, 
               Tokyo, Japan},
  editor    = {J\"{a}rvi, Jaakko and Mu, Shin-Cheng},
  year      = {2011},
  pages     = {25--36},
  publisher = {ACM Press},
}

@inproceedings{plar11-iTasks-for-a,
  author    = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter
               and Lijnse, Bas and {\noopsort{Noort}{van Noort}}, Thomas and
               {\noopsort{Groningen}{van Groningen}}, John},
  title     = {{iTasks} for a change - {Type-safe} run-time change in 
               dynamically evolving workflows},
  booktitle = {Proceedings of the Workshop on Partial Evaluation and Program
               Manipulation, PEPM~'11, Austin, TX, USA},
  editor    = {Khoo, Siau-Cheng and Siek, Jeremy},
  year      = {2011},
  pages     = {151--160},
  publisher = {ACM Press},
}

@inproceedings{groj10-exchanging-sources-between,
  author    = {{\noopsort{Groningen}{van Groningen}}, John and 
               {\noopsort{Noort}{van Noort}}, Thomas and Achten, Peter and
               Koopman, Pieter and Plasmeijer, Rinus},
  title     = {Exchanging sources between {Clean} and {Haskell} - {A}
               double-edged front end for the {Clean} compiler},
  booktitle = {Proceedings of the Haskell Symposium, Haskell~'10, Baltimore, MD
               USA},
  editor    = {Gibbons, Jeremy},
  year      = {2010},
  pages     = {49--60},
  publisher = {ACM Press},
}

@inproceedings{noot10-ad-hoc-polymorphism-and,
  author    = {{\noopsort{Noort}{van Noort}}, Thomas and Achten, Peter and
               Plasmeijer, Rinus},
  title     = {Ad-hoc polymorphism and dynamic typing in a statically typed
               functional language},
  booktitle = {Proceedings of the Workshop on Generic Programming, WGP~'10, 
               Baltimore, MD, USA},
  editor    = {Oliveira, Bruno and Zalewski, Marcin},
  year      = {2010},
  pages     = {73--84},
  publisher = {ACM Press},
}

@inproceedings{noot10-a-typical-synergy,
  author    = {{\noopsort{Noort}{van Noort}}, Thomas and Achten, Peter and 
               Plasmeijer, Rinus},
  title     = {A typical synergy - {Dynamic} types and generalised algebraic 
               datatypes},
  booktitle = {Revised Selected Papers of the International Symposium on the
               Implementation and Application of Functional Languages, IFL~'09,
               South Orange, NJ, USA},
  editor    = {Moraz\'an, Marco and Scholz, {Sven-Bodo}},
  year      = {2010},
  series    = {Lecture Notes in Computer Science},
  volume    = {6041},
  pages     = {179--197},
  publisher = {Springer-Verlag},
}
  @inproceedings{noot09-a-typical-synergy-draft,
    author    = {{\noopsort{Noort}{van Noort}}, Thomas and Achten, Peter and 
                 Plasmeijer, Rinus},
    title     = {A typical synergy - {Dynamic} types and generalised algebraic
                 datatypes},
    booktitle = {Draft Proceedings of the International Symposium on the 
                 Implementation and Application of Functional Languages, 
                 IFL~'09, South Orange, NJ, USA},
    editor    = {Moraz\'an, Marco},
    year      = {2009},
    pages     = {263--273},
    publisher = {Technical Report SHU-TR-CS-2009-09-1, Seton Hall University},
  }

@inproceedings{plar08-an-itask-case,
  author    = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter and 
               Lijnse, Bas and {\noopsort{Noort}{van Noort}}, Thomas},
  title     = {An {iTask} case study: a conference management system},
  booktitle = {Revised Lectures of the International School on
               Advanced Functional Programming, AFP~'08, Heijen, The
               Netherlands},
  editor    = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse},
  year      = {2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {5832},
  pages     = {306--329},
  publisher = {Springer-Verlag},
}
  @inproceedings{plar08-specifying-interactive-workflow-draft,
    author    = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter and 
                 Lijnse, Bas and {\noopsort{Noort}{van Noort}}, Thomas},
    title     = {Specifying interactive work flows for the web},
    booktitle = {Draft Proceedings of the International School on
                 Advanced Functional Programming, AFP~'08, Heijen, The 
                 Netherlands},
    editor    = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse},
    year      = {2008},
    pages     = {7--47},
    publisher = {Technical Report ICIS-R08008, Radboud University Nijmegen},
  }

@inproceedings{noot08-a-lightweight-approach,
  author    = {{\noopsort{Noort}{van Noort}}, Thomas and Rodriguez, Alexey and 
               Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan},
  title     = {A lightweight approach to datatype-generic rewriting},
  booktitle = {Proceedings of the Workshop on Generic Programming, WGP~'08, 
               Victoria, BC, Canada},
  editor    = {Hinze, Ralf and Syme, Don},
  year      = {2008},
  pages     = {13--24},
  publisher = {ACM Press},
}
  @techreport{noot08-a-lightweight-approach-technical-report,
    author      = {{\noopsort{Noort}{van Noort}}, Thomas and Rodriguez, Alexey 
                   and Holdermans, Stefan and Jeuring, Johan and Heeren, 
                   Bastiaan},
    title       = {A lightweight approach to datatype-generic rewriting},
    year        = {2008},
    number      = {UU-CS-2008-020},
    institution = {Utrecht University},
  }


%% Journal papers
@article{noot10-a-lightweight-approach,
  author  = {{\noopsort{Noort}{van Noort}}, Thomas and Rodriguez, Alexey and 
             Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and 
             Magalh\~{a}es, Jos\'{e} Pedro},
  title   = {A lightweight approach to datatype-generic rewriting},
  journal = {Journal of Functional Programming},
  year    = {2010},
  volume  = {20},
  number  = {3-4},
  pages   = {375--413},
}
  @techreport{noot10-a-lightweight-approach-technical-report,
    author      = {{\noopsort{Noort}{van Noort}}, Thomas and Rodriguez, Alexey 
                   and Holdermans, Stefan and Jeuring, Johan and Heeren, 
                   Bastiaan and Magalh\~{a}es, Jos\'{e} Pedro},
    title       = {A lightweight approach to datatype-generic rewriting},
    year        = {2010},
    number      = {UU-CS-2010-008},
    institution = {Utrecht University},
  }     


%% Technical reports
@techreport{loha08-the-generic-haskell,
  author      = {L\"{o}h, Andres and Jeuring, Johan and {\noopsort{Noort}{van 
                 Noort}}, Thomas and Rodriguez, Alexey and Clark, Dave and 
                 Hinze, Ralf and {\noopsort{Wit}{de Wit}}, Jan},
  title       = {The {Generic} {Haskell} user's guide - {Version}~1.80, 
                 {Emerald} release},
  year        = {2008},
  number      = {UU-CS-2008-011},
  institution = {Utrecht University},
}


%% Theses
@phdthesis{noot12-dynamic-typing-in,
  author = {{\noopsort{Noort}{van Noort}}, Thomas},
  title  = {Dynamic typing in type-driven programming},
  year   = {2012},
  school = {Radboud University Nijmegen},
}

@mastersthesis{noot08-generic-views-for,
  author = {{\noopsort{Noort}{van Noort}}, Thomas},
  title  = {Generic views for generic types},
  year   = {2008},
  school = {Utrecht University},
}


%% Other
@unpublished{noot07-building-guis-in,
  author = {{\noopsort{Noort}{van Noort}}, Thomas},
  title  = {Building {GUIs} in {Haskell} - {Comparing} {Gtk2Hs} and 
            {wxHaskell}},
  year   = {2007},
  note   = {Software Technology Colloquium, Utrecht University},
}

@unpublished{maks06-recursion-pattern-and,
  author = {Mak, Sander and {\noopsort{Noort}{van Noort}}, Thomas},
  title  = {Recursion pattern analysis and feedback},
  year   = {2006},
  note   = {Master course on Feedback-Oriented Static Analysis, Utrecht University},
}