[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by bibtex, Generic and Indexed Programming"></meta><meta name="description" content="Publications, by bibtex,Generic and Indexed Programming, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Generic and Indexed 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/gip/">Generic and Indexed 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>Generic and Indexed Programming: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/gip.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/gip.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/gip.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/gip.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/gip.bib">here</a> to download all publications in a single bibtex file</p><pre>
@article{refactoringpm,
  title = "Refactoring Pattern Matching",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2012",
  journal = "Science of Computer Programming",
  month = "January",
  note = "Revised version of the MPC2010 paper "Gradual Refinement"",
  number = "11",
  pages = "2216-2242",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.014",
}</pre><pre>
@article{scala-jfp,
  title = "Scala for Generic Programmers",
  author = "Bruno C. d. S. Oliveira and Jeremy Gibbons",
  year = "2010",
  journal = "Journal of Functional Programming",
  note = "Revised version of the WGP2008 paper",
  number = "3,4",
  pages = "303-352",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp-jfp.pdf",
  volume = "20",
  doi = "10.1017/S0956796810000171",
}</pre><pre>
@conference{icfp10,
  title = "Combining Syntactic and Semantic Bidirectionalization",
  author = "Janis Voigtlander and Zhenjiang Hu and Kazutaka Matsuda and Meng Wang",
  year = "2010",
  booktitle = "ACM SIGPLAN International Conference on Functional Programming",
  note = "To Appear",
  publisher = "ACM",
}</pre><pre>
@conference{mpc10,
  title = "Gradual Refinement: Blending Pattern Matching with Data Abstraction",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2010",
  booktitle = "Mathematics of Program Construction",
  editor = "Jules Desharnais",
  note = "See revised journal version "Refactoring Pattern Matching"",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gradual.pdf",
  volume = "6120",
  doi = "10.1007/978-3-642-13321-3_22",
}</pre><pre>
@conference{effective-advice,
  title = "EffectiveAdvice: Disciplined Advice with Explicit Effects",
  author = "Bruno C. d. S. Oliveira, Tom Schrijvers and William R. Cook",
  year = "2010",
  booktitle = "ACM SIG Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD)",
}</pre><pre>
@conference{wgp09,
  title = "What Does Aspect-Oriented Programming Mean for Functional Programmers?",
  author = "Meng Wang and Bruno C. d. S. Oliveira",
  year = "2009",
  booktitle = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09)",
  editor = "Patrik Jansson",
  location = "Edinburgh, Scotland, UK.",
  month = "August",
  publisher = "ACM",
}</pre><pre>
@inproceedings{Gibbons&amp;Paterson2009:Parametric,
  title = "Parametric Datatype-Genericity",
  author = "Jeremy Gibbons and Ross Paterson",
  year = "2009",
  address = "Edinburgh",
  booktitle = "Workshop on Generic Programming",
  month = "August",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/parametric.pdf",
  doi = "10.1145/1596614.1596626",
}</pre><pre>
@inproceedings{2847,
  title = "Modular Visitor Components: A Practical Solution to the Expression Families Problem",
  author = "Bruno C. d. S. Oliveira",
  year = "2009",
  booktitle = "23rd European Conference on Object Oriented Programming (ECOOP)",
  editor = "Sophia Drossopoulou",
  journal = "23rd European Conference on Object Oriented Programming (ECOOP)",
  location = "Genova, Italy",
  month = "July",
}</pre><pre>
@article{comparing-jfp,
  title = "Comparing Datatype Generic Libraries in Haskell",
  author = "Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira",
  year = "2009",
  journal = "Journal of Functional Programming",
  note = "Revised version of the Haskell Symposium 2008 paper",
}</pre><pre>
@conference{bidi,
  title = "Translucent Abstraction: Safe Views through Invertible Programming (Extended version)",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda",
  year = "2009",
}</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&amp;Gibbons2008:Scala,
  title = "Scala for Generic Programmers",
  author = "Bruno Oliveira and Jeremy Gibbons",
  year = "2008",
  address = "Victoria, BC",
  booktitle = "Workshop on Generic Programming",
  editor = "Ralf Hinze",
  month = "Sep",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf",
  doi = "10.1145/1411318.1411323",
}</pre><pre>
@inproceedings{Gibbons2008:Unfolding,
  title = "Unfolding Abstract Datatypes",
  author = "Jeremy Gibbons",
  year = "2008",
  booktitle = "Mathematics of Program Construction",
  month = "jul",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/adt.pdf",
  doi = "10.1007/978-3-540-70594-9_8",
}</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>
@conference{comparing-hs,
  title = "Comparing Libraries for Generic Programming in Haskell",
  author = "Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira",
  year = "2008",
  booktitle = "Haskell Symposium",
}</pre><pre>
@unpublished{objects-typeclasses-gadts,
  title = "Objects to Unify Type Classes and GADTs",
  author = "Bruno C. d. S. Oliveira and Martin Sulzmann",
  year = "2008",
}</pre><pre>
@inproceedings{Gibbons*2007:Generic,
  title = "Generic and Indexed Programming",
  author = "Jeremy Gibbons and Meng Wang and Bruno Cesar dos Santos Oliveira",
  year = "2007",
  booktitle = "Trends in Functional Programming",
  editor = "Marco Morazan",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf",
}</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></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]