[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by bibtex, Datatype-Generic Programming"></meta><meta name="description" content="Publications, by bibtex,Datatype-Generic Programming, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Datatype-Generic Programming: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/pl/">Programming Languages</a></li><li><a href="/research/pl/projects.html">projects</a></li><li><a href="/projects/dgp/">Datatype-Generic Programming</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Datatype-Generic Programming: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/dgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/projects/publications/title/dgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/dgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/dgp.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p>Click <a href="/projects/publications/bibtex/dgp.bib">here</a> to download all publications in a single bibtex file</p><pre>
@article{Gibbons&amp;Oliveira2008:Essence,
  title = "The Essence of the Iterator Pattern",
  author = "Jeremy Gibbons and Bruno César dos Santos Oliveira",
  year = "2009",
  journal = "Journal of Functional Programming",
  note = "Revised version of \cite{Gibbons&amp;Oliveira2006:Essence}",
  number = "3&amp;4",
  pages = "377-402",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf",
  volume = "19",
  doi = "10.1017/S0956796809007291",
}</pre><pre>
@misc{2965,
  title = "The Different Aspects of Monads and Mixins",
  author = "Bruno C. d. S. Oliveira",
  year = "2009",
  note = "Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.",
}</pre><pre>
@inproceedings{Oliveira*2008:Visitor,
  title = "The Visitor Pattern as a Reusable, Generic, Type-Safe Component",
  author = "Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons",
  year = "2008",
  booktitle = "Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf",
  doi = "10.1145/1449764.1449799",
}</pre><pre>
@article{Gibbons2005:Metamorphisms,
  title = "Metamorphisms: Streaming Representation-Changers",
  author = "Jeremy Gibbons",
  year = "2007",
  journal = "Science of Computer Programming",
  number = "2",
  pages = "108-139",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf",
  volume = "65",
  doi = "10.1016/j.scico.2006.01.006",
}</pre><pre>
@inproceedings{Gibbons2007:Datatype,
  title = "Datatype-Generic Programming",
  author = "Jeremy Gibbons",
  year = "2007",
  booktitle = "Spring School on Datatype-Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf",
  volume = "4719",
}</pre><pre>
@proceedings{Backhouse*2007:Datatype,
  title = "Spring School on Datatype-Generic Programming",
  author = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  year = "2007",
  booktitle = "Spring School on Datatype-Generic Programming",
  editor = "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ssdgp-preface.pdf",
  volume = "4719",
}</pre><pre>
@phdthesis{oliveira07genericity,
  title = "Genericity, extensibility and type-safety in the Visitor pattern",
  author = "Bruno C. d. S. Oliveira",
  year = "2007",
  url = "http://www.comlab.ox.ac.uk/people/Bruno.Oliveira/Thesis.pdf",
}</pre><pre>
@incollection{emgm,
  title = "Extensible and Modular Generics for the Masses",
  author = "Bruno C. d. S. Oliveira, Ralf Hinze and Andres Loeh",
  year = "2007",
  booktitle = "Trends in Functional Programming",
  editor = "Henrik Nilsson",
  note = "Best student paper award",
}</pre><pre>
@inproceedings{Gibbons2006:Design,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2006",
  booktitle = "Workshop on Generic Programming",
  editor = "Ralf Hinze",
  month = "sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf",
}</pre><pre>
@inproceedings{HLO06Gen,
  title = "Generics as a Library",
  author = "Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres",
  year = "2006",
  booktitle = "Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06)",
  editor = "Nilsson, Henrik",
  isbn = "ISBN 9781841501888",
  location = "Nottingham, UK",
  publisher = "Intellect",
  url = "http://www.intellectbooks.co.uk/books/view-Book,id=4576/",
}</pre><pre>
@inproceedings{Gibbons&amp;Oliveira2006:Essence,
  title = "The Essence of the Iterator Pattern",
  author = "Jeremy Gibbons and Bruno C\'esar dos Santos Oliveira",
  year = "2006",
  booktitle = "Mathematically-Structured Functional Programming",
  editor = "Conor McBride and Tarmo Uustalu",
  note = "Superseded by \cite{Gibbons&amp;Oliveira2008:Essence}",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf",
}</pre><pre>
@inproceedings{Gibbons2005:DesignECOOP,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2005",
  address = "Glasgow",
  booktitle = "European Conference on Object-Oriented Programming",
  month = "jul",
  note = "Later version appears as \cite{Gibbons2005:DesignOOPSLA}",
  url = "http://2005.ecoop.org/8.html",
}</pre><pre>
@inproceedings{Gibbons2005:DesignOOPSLA,
  title = "Design Patterns as Higher-Order Datatype-Generic Programs",
  author = "Jeremy Gibbons",
  year = "2005",
  address = "San Diego",
  booktitle = "Object-Oriented Programming: Systems, Languages, Applications",
  month = "oct",
  note = "A revision of \cite{Gibbons2005:DesignECOOP}",
  url = "http://www.oopsla.org/2005/ShowEvent.do?id=121",
}</pre><pre>
@inproceedings{Oliveira&amp;Gibbons2005:TypeCase,
  title = "TypeCase: A Design Pattern for Type-Indexed Functions",
  author = "Bruno C\'esar dos Santos Oliveira and Jeremy Gibbons",
  year = "2005",
  booktitle = "Haskell Workshop",
  editor = "Daan Leijen",
  pages = "98-109",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf",
  doi = "10.1145/1088348.1088358",
}</pre><pre>
@inproceedings{Gibbons2004:Streaming,
  title = "Streaming Representation-Changers",
  author = "Jeremy Gibbons",
  year = "2004",
  booktitle = "Mathematics of Program Construction",
  editor = "Dexter Kozen",
  month = "jul",
  note = "\url{http://www.springerlink.com/index/LHQ73WU5GU686976}",
  pages = "142-168",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-mpc.pdf",
  volume = "3125",
  doi = "10.1007/978-3-540-27764-4_9",
}</pre><pre>
@inproceedings{Gibbons2003:Patterns,
  title = "Patterns in Datatype-Generic Programming",
  author = "Jeremy Gibbons",
  year = "2003",
  booktitle = "Multiparadigm Programming",
  editor = "J{\"o}rg Striegnitz and Kei Davis",
  isbn = "3-00-016005-1",
  note = "First International Workshop on Declarative Programming in the Context of Object-Oriented Languages (DPCOOL)",
  pages = "277-289",
  publisher = "John von {N}eumann Institute for Computing (NIC)",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/patterns.pdf",
  volume = "27",
}</pre></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]