[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Jeremy Gibbons"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Jeremy Gibbons"></meta><title>Department of Computer Science, University of Oxford: Jeremy Gibbons : 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="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Jeremy.Gibbons"><span itemprop="name">Jeremy Gibbons</span></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>Jeremy Gibbons : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Jeremy.Gibbons.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Jeremy.Gibbons.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Jeremy.Gibbons.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Jeremy.Gibbons.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Books
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algorithm Design with Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> Cambridge University Press.
        July,
            2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14138-abstract.html">
			Details <span class="sr-only" > about <em> Algorithm Design with Haskell  </em></span> </a> |
			<a href="/publications/publication14138.bib">
			BibTeX  <span class="sr-only" > data for <em> Algorithm Design with Haskell  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/publications/books/adwh/"> Link <span class="sr-only" > to <em> Algorithm Design with Haskell  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Engineering Agile Big&#x2212;Data Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Kevin Feeney&#x201a; Jim Davies&#x201a; James Welch&#x201a; Sebastian Hellmann&#x201a; Christian Dirschl&#x201a; Andreas Koller&#x201a; Pieter Francois and Arkadiusz Marciniak  </em> </p>
	
	<p class="publicationDetails"> 2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12215-abstract.html">
			Details <span class="sr-only" > about <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a> |
			<a href="/publications/publication12215.bib">
			BibTeX  <span class="sr-only" > data for <em> Engineering Agile Big&#x2212;Data Systems  </em></span>   </a>
			
			
					| <a href="https://www.riverpublishers.com/research_details.php?book_id=659"> Link <span class="sr-only" > to <em> Engineering Agile Big&#x2212;Data Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Bidirectional Transformations </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 9715
                of LNCS.
        Springer.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11924-abstract.html">
			Details <span class="sr-only" > about <em> Bidirectional Transformations  </em></span> </a> |
			<a href="/publications/publication11924.bib">
			BibTeX  <span class="sr-only" > data for <em> Bidirectional Transformations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-79108-1">
		DOI (10.1007/978-3-319-79108-1)
		</a> 
					| <a href="https://link.springer.com/book/10.1007%2F978-3-319-79108-1"> Link <span class="sr-only" > to <em> Bidirectional Transformations  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generic and Indexed Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 7470
                of Lecture Notes in Computer Science.
        Springer.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6208-abstract.html">
			Details <span class="sr-only" > about <em> Generic and Indexed Programming  </em></span> </a> |
			<a href="/publications/publication6208.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic and Indexed Programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-32202-0">
		DOI (10.1007/978-3-642-32202-0)
		</a> 
					| <a href="http://www.springerlink.com/content/978-3-642-32201-3/"> Link <span class="sr-only" > to <em> Generic and Indexed Programming  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Summer School on Generic Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Roland Backhouse and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 2793
                of Lecture Notes in Computer Science.
        Springer&#x2212;Verlag.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2376-abstract.html">
			Details <span class="sr-only" > about <em> Summer School on Generic Programming  </em></span> </a> |
			<a href="/publications/publication2376.bib">
			BibTeX  <span class="sr-only" > data for <em> Summer School on Generic Programming  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssgp-toc.pdf"> Download (pdf)  <span class="sr-only" > of <em> Summer School on Generic Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Fun of Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Oege de Moor  </em> </p>
	
	<p class="publicationDetails"> Palgrave.
        2003.
        </p> <p
            class="publicationNote"> Hardback ISBN: 1&#x2212;4039&#x2212;0772&#x2212;2</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2338-abstract.html">
			Details <span class="sr-only" > about <em> The Fun of Programming  </em></span> </a> |
			<a href="/publications/publication2338.bib">
			BibTeX  <span class="sr-only" > data for <em> The Fun of Programming  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algebraic and Coalgebraic Methods in the Mathematics of Program Construction </strong> </p>
	    <p class="publicationAuthors"> <em> Roland Backhouse&#x201a; Roy Crole and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 2297
                of Lecture Notes in Computer Science.
        Springer&#x2212;Verlag.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2359-abstract.html">
			Details <span class="sr-only" > about <em> Algebraic and Coalgebraic Methods in the Mathematics of Program Construction  </em></span> </a> |
			<a href="/publications/publication2359.bib">
			BibTeX  <span class="sr-only" > data for <em> Algebraic and Coalgebraic Methods in the Mathematics of Program Construction  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-toc.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algebraic and Coalgebraic Methods in the Mathematics of Program Construction  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Book chapters
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algorithmics </strong> </p>
	    <p class="publicationAuthors"> <em> Nicolas Wu Richard S. Bird Jeremy Gibbons Ralf Hinze Peter Hoefner Johan Jeuring Lambert G. L. T. Meertens Bernhard Moeller Carroll Morgan Tom Schrijvers Wouter Swierstra  </em> </p>
	
	<p class="publicationDetails"> 
            In Kai Rannenberg Michael Goedicke Erich J. Neuhold, editor,
             
            <em>
            Advancing Research in Information and Communication Technology &#x2212; IFIP's Exciting First 60+ Years&#x201a; Views from the Technical Committees and Working Groups</em>.
        
            Vol. 600
                of IFIP Advances in Information and Communication Technology.
        
                Pages 59&#x2212;98.
            Springer.
        2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14861-abstract.html">
			Details <span class="sr-only" > about <em> Algorithmics  </em></span> </a> |
			<a href="/publications/publication14861.bib">
			BibTeX  <span class="sr-only" > data for <em> Algorithmics  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/14914/PublicationFile">Download
					    

					    <span class="sr-only" > of <em> Algorithmics  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-030-81701-5_3">
		DOI (10.1007/978-3-030-81701-5_3)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ifip60.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algorithmics  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Quantitative Information Flow with Monads in Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Annabelle McIver&#x201a; Carroll Morgan and Tom Schrijvers  </em> </p>
	
	<p class="publicationDetails"> 
            In Gilles Barthe&#x201a; Joost&#x2212;Pieter Katoen and Alexandra Silva, editors,
             
            <em>
            Foundations of Probabilistic Programming</em>.
        Cambridge University Press.
        2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12055-abstract.html">
			Details <span class="sr-only" > about <em> Quantitative Information Flow with Monads in Haskell  </em></span> </a> |
			<a href="/publications/publication12055.bib">
			BibTeX  <span class="sr-only" > data for <em> Quantitative Information Flow with Monads in Haskell  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/9781108770750">
		DOI (10.1017/9781108770750)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kuifje.pdf"> Download (pdf)  <span class="sr-only" > of <em> Quantitative Information Flow with Monads in Haskell  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Software Project Management for Combined Software and Data Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Seyyed M. Shah&#x201a; James Welch&#x201a; Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Zaigham Mahmood, editor,
             
            <em>
            Software Project Management for Distributed Computing: Life&#x2212;Cycle Methods for Developing Scalable and Reliable Tools</em>.
        
                Pages 367&#x2212;385.
            Springer International Publishing.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10977-abstract.html">
			Details <span class="sr-only" > about <em> Software Project Management for Combined Software and Data Engineering  </em></span> </a> |
			<a href="/publications/publication10977.bib">
			BibTeX  <span class="sr-only" > data for <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-54325-3_15">
		DOI (10.1007/978-3-319-54325-3_15)
		</a> 
					| <a href="https://sshah.co.uk/files/combined-software-data-engineering-shah-17.pdf"> Download (pdf)  <span class="sr-only" > of <em> Software Project Management for Combined Software and Data Engineering  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accumulating Attributes (for Doaitse Swierstra&#x201a; on his retirement) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Jurriaan Hage and Atze Dijkstra, editors,
             
            <em>
            Een Lawine van Ontwortelde Bomen: Liber Amicorum voor Doaitse Swierstra</em>.
        
                Pages 87&#x2212;102.
            May,
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6894-abstract.html">
			Details <span class="sr-only" > about <em> Accumulating Attributes (for Doaitse Swierstra&#x201a; on his retirement)  </em></span> </a> |
			<a href="/publications/publication6894.bib">
			BibTeX  <span class="sr-only" > data for <em> Accumulating Attributes (for Doaitse Swierstra&#x201a; on his retirement)  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/accatt.pdf"> Download (pdf)  <span class="sr-only" > of <em> Accumulating Attributes (for Doaitse Swierstra&#x201a; on his retirement)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Cross&#x2212;Trial Query System for Cancer Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Radu Calinescu&#x201a; Steve Harris&#x201a; Jeremy Gibbons and Jim Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In Tarek Sobh, editor,
             
            <em>
            Innovations and Advanced Techniques in Computer and Information Sciences and Engineering</em>.
        
                Pages 385&#x2013;390.
            Springer.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication451-abstract.html">
			Details <span class="sr-only" > about <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span> </a> |
			<a href="/publications/publication451.bib">
			BibTeX  <span class="sr-only" > data for <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-1-4020-6268-1_69">
		DOI (10.1007/978-1-4020-6268-1_69)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/crosstrial.pdf"> Download (pdf)  <span class="sr-only" > of <em> Cross&#x2212;Trial Query System for Cancer Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Origami Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Jeremy Gibbons and Oege de Moor, editors,
             
            <em>
            The Fun of Programming</em>.
        
                Pages 41&#x2212;60.
            Palgrave.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2335-abstract.html">
			Details <span class="sr-only" > about <em> Origami Programming  </em></span> </a> |
			<a href="/publications/publication2335.bib">
			BibTeX  <span class="sr-only" > data for <em> Origami Programming  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/origami.pdf"> Download (pdf)  <span class="sr-only" > of <em> Origami Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algebraic Methods for Optimization Problems </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird&#x201a; Jeremy Gibbons and Shin Cheng Mu  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse&#x201a; Roy Crole and Jeremy Gibbons, editors,
             
            <em>
            Algebraic and Coalgebraic Methods in the Mathematics of Program Construction</em>.
        
            Vol. 2297
                of Lecture Notes in Computer Science.
        
                Pages 281&#x2013;307.
            Springer&#x2212;Verlag.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2334-abstract.html">
			Details <span class="sr-only" > about <em> Algebraic Methods for Optimization Problems  </em></span> </a> |
			<a href="/publications/publication2334.bib">
			BibTeX  <span class="sr-only" > data for <em> Algebraic Methods for Optimization Problems  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-optimization.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algebraic Methods for Optimization Problems  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Calculating Functional Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse&#x201a; Roy Crole and Jeremy Gibbons, editors,
             
            <em>
            Algebraic and Coalgebraic Methods in the Mathematics of Program Construction</em>.
        
            Vol. 2297
                of Lecture Notes in Computer Science.
        
                Pages 148&#x2013;203.
            Springer&#x2212;Verlag.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2360-abstract.html">
			Details <span class="sr-only" > about <em> Calculating Functional Programs  </em></span> </a> |
			<a href="/publications/publication2360.bib">
			BibTeX  <span class="sr-only" > data for <em> Calculating Functional Programs  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-calcfp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Calculating Functional Programs  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Turner&#x201a; Bird&#x201a; Eratosthenes: An Eternal Burning Thread </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 35.
        
            No. e5.
        2025.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16098-abstract.html">
			Details <span class="sr-only" > about <em> Turner&#x201a; Bird&#x201a; Eratosthenes: An Eternal Burning Thread  </em></span> </a> |
			<a href="/publications/publication16098.bib">
			BibTeX  <span class="sr-only" > data for <em> Turner&#x201a; Bird&#x201a; Eratosthenes: An Eternal Burning Thread  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796824000194">
		DOI (10.1017/S0956796824000194)
		</a> 
					| <a href="https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/erato.pdf"> Download (pdf)  <span class="sr-only" > of <em> Turner&#x201a; Bird&#x201a; Eratosthenes: An Eternal Burning Thread  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Breadth&#x2212;First Traversal Via Staging </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Oisin Kidney&#x201a; Tom Schrijvers and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 13544
                of LNCS.
        
                Pages 1&#x2212;33.
            2022.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14875-abstract.html">
			Details <span class="sr-only" > about <em> Breadth&#x2212;First Traversal Via Staging  </em></span> </a> |
			<a href="/publications/publication14875.bib">
			BibTeX  <span class="sr-only" > data for <em> Breadth&#x2212;First Traversal Via Staging  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-031-16912-0_1">
		DOI (10.1007/978-3-031-16912-0_1)
		</a> 
					| <a href="https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/traversals.pdf"> Download (pdf)  <span class="sr-only" > of <em> Breadth&#x2212;First Traversal Via Staging  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Continuation&#x2212;Passing Style&#x201a; Defunctionalization&#x201a; Accumulations&#x201a; and Associativity </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Art&#x201a; Science&#x201a; and Engineering of Programming</em>.
        
            Vol. 6.
        
            No. 2.
        
                Pages Article 7.
            2022.
        </p> <p
            class="publicationNote"> Recipient of the Reviewers' Choice Award for 2022</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14659-abstract.html">
			Details <span class="sr-only" > about <em> Continuation&#x2212;Passing Style&#x201a; Defunctionalization&#x201a; Accumulations&#x201a; and Associativity  </em></span> </a> |
			<a href="/publications/publication14659.bib">
			BibTeX  <span class="sr-only" > data for <em> Continuation&#x2212;Passing Style&#x201a; Defunctionalization&#x201a; Accumulations&#x201a; and Associativity  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.22152/programming-journal.org/2022/6/7">
		DOI (10.22152/programming-journal.org/2022/6/7)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/continued.pdf"> Download (pdf)  <span class="sr-only" > of <em> Continuation&#x2212;Passing Style&#x201a; Defunctionalization&#x201a; Accumulations&#x201a; and Associativity  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            All Things Flow: Unfolding the History of Streams (extended abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Aggelos Biboudis&#x201a; Jeremy Gibbons and Oleg Kiselyov  </em> </p>
	
	<p class="publicationDetails"> 2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16310-abstract.html">
			Details <span class="sr-only" > about <em> All Things Flow: Unfolding the History of Streams (extended abstract)  </em></span> </a> |
			<a href="/publications/publication16310.bib">
			BibTeX  <span class="sr-only" > data for <em> All Things Flow: Unfolding the History of Streams (extended abstract)  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/streams-hapoc2021.pdf"> Download (pdf)  <span class="sr-only" > of <em> All Things Flow: Unfolding the History of Streams (extended abstract)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            How to Design Co&#x2212;Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 31.
        
            No. e15.
        2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14560-abstract.html">
			Details <span class="sr-only" > about <em> How to Design Co&#x2212;Programs  </em></span> </a> |
			<a href="/publications/publication14560.bib">
			BibTeX  <span class="sr-only" > data for <em> How to Design Co&#x2212;Programs  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796821000113">
		DOI (10.1017/S0956796821000113)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/copro.pdf"> Download (pdf)  <span class="sr-only" > of <em> How to Design Co&#x2212;Programs  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algorithmics </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird&#x201a; Jeremy Gibbons&#x201a; Ralf Hinze&#x201a; Peter Hoefner&#x201a; Johan Jeuring&#x201a; Lambert Meertens&#x201a; Bernhard Moeller&#x201a; Carroll Morgan&#x201a; Tom Schrijvers&#x201a; Wouter Swierstra and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 600
                of IFIP Advances in Information and Communication Technology.
        July,
            2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14190-abstract.html">
			Details <span class="sr-only" > about <em> Algorithmics  </em></span> </a> |
			<a href="/publications/publication14190.bib">
			BibTeX  <span class="sr-only" > data for <em> Algorithmics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-030-81701-5_3">
		DOI (10.1007/978-3-030-81701-5_3)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ifip60.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algorithmics  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Relational Algebra by Way of Adjunctions </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Fritz Henglein&#x201a; Ralf Hinze and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>PACMPL</em>.
        
            Vol. 2.
        
            No. ICFP.
        September,
            2018.
        </p> <p
            class="publicationNote"> Winner of a Distinguished Paper Award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12073-abstract.html">
			Details <span class="sr-only" > about <em> Relational Algebra by Way of Adjunctions  </em></span> </a> |
			<a href="/publications/publication12073.bib">
			BibTeX  <span class="sr-only" > data for <em> Relational Algebra by Way of Adjunctions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/3236781">
		DOI (10.1145/3236781)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf"> Download (pdf)  <span class="sr-only" > of <em> Relational Algebra by Way of Adjunctions  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma </strong> </p>
	    <p class="publicationAuthors"> <em> Guillaume Boisseau and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>PACMPL</em>.
        
            Vol. 2.
        
            No. ICFP.
        September,
            2018.
        </p> <p
            class="publicationNote"> Functional Pearl</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12072-abstract.html">
			Details <span class="sr-only" > about <em> What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma  </em></span> </a> |
			<a href="/publications/publication12072.bib">
			BibTeX  <span class="sr-only" > data for <em> What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/3236779">
		DOI (10.1145/3236779)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf"> Download (pdf)  <span class="sr-only" > of <em> What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On "Methodological Irregularities in Programming Language Research" </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE Computer</em>.
        
            Vol. 51.
        
            No. 4.
        
                Pages 4&#x2212;7.
            April,
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11973-abstract.html">
			Details <span class="sr-only" > about <em> On "Methodological Irregularities in Programming Language Research"  </em></span> </a> |
			<a href="/publications/publication11973.bib">
			BibTeX  <span class="sr-only" > data for <em> On "Methodological Irregularities in Programming Language Research"  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/MC.2018.2141027">
		DOI (10.1109/MC.2018.2141027)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/methodological.pdf"> Download (pdf)  <span class="sr-only" > of <em> On "Methodological Irregularities in Programming Language Research"  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Introduction to Bidirectional Transformations </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 9715
                of LNCS.
        
                Pages 1&#x2212;28.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11922-abstract.html">
			Details <span class="sr-only" > about <em> Introduction to Bidirectional Transformations  </em></span> </a> |
			<a href="/publications/publication11922.bib">
			BibTeX  <span class="sr-only" > data for <em> Introduction to Bidirectional Transformations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-79108-1_1">
		DOI (10.1007/978-3-319-79108-1_1)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ssbx-intro.pdf"> Download (pdf)  <span class="sr-only" > of <em> Introduction to Bidirectional Transformations  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Ontologology </strong> </p>
	    <p class="publicationAuthors"> <em> Perdita Stevens and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
                Pages Paper 9.
            April,
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11250-abstract.html">
			Details <span class="sr-only" > about <em> On Ontologology  </em></span> </a> |
			<a href="/publications/publication11250.bib">
			BibTeX  <span class="sr-only" > data for <em> On Ontologology  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1827/paper9.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Ontologology  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Profunctor Optics: Modular Data Accessors </strong> </p>
	    <p class="publicationAuthors"> <em> Matthew Pickering&#x201a; Jeremy Gibbons and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Art&#x201a; Science&#x201a; and Engineering of Programming</em>.
        
            Vol. 1.
        
            No. 2.
        2017.
        </p> <p
            class="publicationNote"> Winner of Editors' Choice Award for <programming> 2017</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10940-abstract.html">
			Details <span class="sr-only" > about <em> Profunctor Optics: Modular Data Accessors  </em></span> </a> |
			<a href="/publications/publication10940.bib">
			BibTeX  <span class="sr-only" > data for <em> Profunctor Optics: Modular Data Accessors  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.22152/programming-journal.org/2017/1/7">
		DOI (10.22152/programming-journal.org/2017/1/7)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf"> Download (pdf)  <span class="sr-only" > of <em> Profunctor Optics: Modular Data Accessors  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Coalgebraic Aspects of Bidirectional Computation </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James McKinna and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Object Technology</em>.
        
            Vol. 16.
        
            No. 1.
        
                Pages 1:1&#x2212;29.
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10916-abstract.html">
			Details <span class="sr-only" > about <em> Coalgebraic Aspects of Bidirectional Computation  </em></span> </a> |
			<a href="/publications/publication10916.bib">
			BibTeX  <span class="sr-only" > data for <em> Coalgebraic Aspects of Bidirectional Computation  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.5381/jot.2017.16.1.a1">
		DOI (10.5381/jot.2017.16.1.a1)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/cbx-jot.pdf"> Download (pdf)  <span class="sr-only" > of <em> Coalgebraic Aspects of Bidirectional Computation  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Principles of Least Change and Least Surprise for Bidirectional Transformations </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Object Technology</em>.
        
            Vol. 16.
        
            No. 1.
        
                Pages 3:1&#x2212;31.
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10915-abstract.html">
			Details <span class="sr-only" > about <em> On Principles of Least Change and Least Surprise for Bidirectional Transformations  </em></span> </a> |
			<a href="/publications/publication10915.bib">
			BibTeX  <span class="sr-only" > data for <em> On Principles of Least Change and Least Surprise for Bidirectional Transformations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.5381/jot.2017.16.1.a3">
		DOI (10.5381/jot.2017.16.1.a3)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/leastchange-jot.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Principles of Least Change and Least Surprise for Bidirectional Transformations  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Science relies on computer modelling &#x2013; so what happens when it goes wrong? </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Conversation</em>.
        March,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10394-abstract.html">
			Details <span class="sr-only" > about <em> Science relies on computer modelling &#x2013; so what happens when it goes wrong?  </em></span> </a> |
			<a href="/publications/publication10394.bib">
			BibTeX  <span class="sr-only" > data for <em> Science relies on computer modelling &#x2013; so what happens when it goes wrong?  </em></span>   </a>
			
			
					| <a href="https://theconversation.com/science-relies-on-computer-modelling-so-what-happens-when-it-goes-wrong-56859"> Link <span class="sr-only" > to <em> Science relies on computer modelling &#x2013; so what happens when it goes wrong?  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Programming with Ornaments </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 27.
        December,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10344-abstract.html">
			Details <span class="sr-only" > about <em> Programming with Ornaments  </em></span> </a> |
			<a href="/publications/publication10344.bib">
			BibTeX  <span class="sr-only" > data for <em> Programming with Ornaments  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796816000307">
		DOI (10.1017/S0956796816000307)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/progorn.pdf"> Download (pdf)  <span class="sr-only" > of <em> Programming with Ornaments  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Kernels&#x201a; in a Nutshell </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Logical and Algebraic Methods in Programming</em>.
        
            Vol. 85.
        
            No. 5&#x201a; part 2.
        
                Pages 921&#x2212;930.
            August,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10155-abstract.html">
			Details <span class="sr-only" > about <em> Kernels&#x201a; in a Nutshell  </em></span> </a> |
			<a href="/publications/publication10155.bib">
			BibTeX  <span class="sr-only" > data for <em> Kernels&#x201a; in a Nutshell  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.jlamp.2015.10.006">
		DOI (10.1016/j.jlamp.2015.10.006)
		</a> 
					| <a href="http://dx.doi.org/10.1016/j.jlamp.2015.10.006"> Link <span class="sr-only" > to <em> Kernels&#x201a; in a Nutshell  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Bidirectional Transformation is Effectful </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> May,
            2015.
        </p> <p
            class="publicationNote"> This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads"&#x201a; to appear at MPC 2015</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9393-abstract.html">
			Details <span class="sr-only" > about <em> Bidirectional Transformation is Effectful  </em></span> </a> |
			<a href="/publications/publication9393.bib">
			BibTeX  <span class="sr-only" > data for <em> Bidirectional Transformation is Effectful  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bx-effectful.pdf"> Download (pdf)  <span class="sr-only" > of <em> Bidirectional Transformation is Effectful  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; James Welch and Edward Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 88&#x2212;104.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6508-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span> </a> |
			<a href="/publications/publication6508.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;driven Engineering of Information Systems: 10 years and 1000 versions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.002">
		DOI (10.1016/j.scico.2013.02.002)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 89B.
        
                Pages 126&#x2212;143.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5947-abstract.html">
			Details <span class="sr-only" > about <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication5947.bib">
			BibTeX  <span class="sr-only" > data for <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2013.02.010">
		DOI (10.1016/j.scico.2013.02.010)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/cancergrid.pdf"> Download (pdf)  <span class="sr-only" > of <em> The CancerGrid Experience: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modularising inductive families </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Progress in Informatics</em>.
        
            No. 10.
        
                Pages 65&#x2212;88.
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6002-abstract.html">
			Details <span class="sr-only" > about <em> Modularising inductive families  </em></span> </a> |
			<a href="/publications/publication6002.bib">
			BibTeX  <span class="sr-only" > data for <em> Modularising inductive families  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.2201/NiiPi.2013.10.5">
		DOI (10.2201/NiiPi.2013.10.5)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn/pcOrn.pdf"> Download (pdf)  <span class="sr-only" > of <em> Modularising inductive families  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Beauty of Simplicity </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Communications of the ACM</em>.
        
            Vol. 55.
        
            No. 4.
        
                Pages 6.
            2012.
        </p> <p
            class="publicationNote"> Letter to the editor</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5983-abstract.html">
			Details <span class="sr-only" > about <em> The Beauty of Simplicity  </em></span> </a> |
			<a href="/publications/publication5983.bib">
			BibTeX  <span class="sr-only" > data for <em> The Beauty of Simplicity  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2133806.2133808">
		DOI (10.1145/2133806.2133808)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/beauty.pdf"> Download (pdf)  <span class="sr-only" > of <em> The Beauty of Simplicity  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Refactoring Pattern Matching </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang&#x201a; Jeremy Gibbons&#x201a; Kazutaka Matsuda and Zhenjiang Hu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 78.
        
            No. 11.
        
                Pages 2216&#x2212;2242.
            January,
            2012.
        </p> <p
            class="publicationNote"> Revised version of the MPC2010 paper "Gradual Refinement"</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4064-abstract.html">
			Details <span class="sr-only" > about <em> Refactoring Pattern Matching  </em></span> </a> |
			<a href="/publications/publication4064.bib">
			BibTeX  <span class="sr-only" > data for <em> Refactoring Pattern Matching  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2012.07.014">
		DOI (10.1016/j.scico.2012.07.014)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf"> Download (pdf)  <span class="sr-only" > of <em> Refactoring Pattern Matching  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Functional Derivation of the Warren Abstract Machine </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pirog and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 2011.
        </p> <p
            class="publicationNote"> Submitted for publication</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4907-abstract.html">
			Details <span class="sr-only" > about <em> A Functional Derivation of the Warren Abstract Machine  </em></span> </a> |
			<a href="/publications/publication4907.bib">
			BibTeX  <span class="sr-only" > data for <em> A Functional Derivation of the Warren Abstract Machine  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wam.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Functional Derivation of the Warren Abstract Machine  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalisations and Applications of BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 76.
        
                Pages 633&#x2212;650.
            2011.
        </p> <p
            class="publicationNote"> Special issue on FOCLASA 2008</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2861-abstract.html">
			Details <span class="sr-only" > about <em> Formalisations and Applications of BPMN  </em></span> </a> |
			<a href="/publications/publication2861.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalisations and Applications of BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2009.09.010">
		DOI (10.1016/j.scico.2009.09.010)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bpmn09.pdf"> Download (pdf)  <span class="sr-only" > of <em> Formalisations and Applications of BPMN  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 36.
            2010.
        </p> <p
            class="publicationNote"> Submitted for publication&#x201a; but rejected; revised version of the WGP2006 paper</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4052-abstract.html">
			Details <span class="sr-only" > about <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a> |
			<a href="/publications/publication4052.bib">
			BibTeX  <span class="sr-only" > data for <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp-journal.pdf"> Download (pdf)  <span class="sr-only" > of <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Property Specifications for Workflow Modelling </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        2010.
        </p> <p
            class="publicationNote"> Extended version. To appear.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3104-abstract.html">
			Details <span class="sr-only" > about <em> Property Specifications for Workflow Modelling  </em></span> </a> |
			<a href="/publications/publication3104.bib">
			BibTeX  <span class="sr-only" > data for <em> Property Specifications for Workflow Modelling  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2010.09.007">
		DOI (10.1016/j.scico.2010.09.007)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Scala for Generic Programmers </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 20.
        
            No. 3&#x201a;4.
        
                Pages 303&#x2212;352.
            2010.
        </p> <p
            class="publicationNote"> Revised version of the WGP2008 paper</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3541-abstract.html">
			Details <span class="sr-only" > about <em> Scala for Generic Programmers  </em></span> </a> |
			<a href="/publications/publication3541.bib">
			BibTeX  <span class="sr-only" > data for <em> Scala for Generic Programmers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796810000171">
		DOI (10.1017/S0956796810000171)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp-jfp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Scala for Generic Programmers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Functional Pearls (editorial) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3342-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearls (editorial)  </em></span> </a> |
			<a href="/publications/publication3342.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearls (editorial)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796809990256">
		DOI (10.1017/S0956796809990256)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/pearls.pdf"> Download (pdf)  <span class="sr-only" > of <em> Functional Pearls (editorial)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods for Future Interoperability </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>ACM Inroads</em>.
        
            Vol. 41.
        
            No. 2.
        
                Pages 60&#x2212;64.
            June,
            2009.
        </p> <p
            class="publicationNote"> A revised version of "Formal Methods for Electronic Government" (FMET&#x201a; 2008)</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2893-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods for Future Interoperability  </em></span> </a> |
			<a href="/publications/publication2893.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods for Future Interoperability  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1595453.1595463">
		DOI (10.1145/1595453.1595463)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Formal Methods for Future Interoperability  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metadata&#x2212;Driven Software for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Andrew Tsui and James Brenton  </em> </p>
	
	<p class="publicationDetails"> May,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2865-abstract.html">
			Details <span class="sr-only" > about <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication2865.bib">
			BibTeX  <span class="sr-only" > data for <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/SEHC.2009.5069600">
		DOI (10.1109/SEHC.2009.5069600)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/consort.pdf"> Download (pdf)  <span class="sr-only" > of <em> Metadata&#x2212;Driven Software for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Essence of the Iterator Pattern </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Bruno C&#xe9;sar dos Santos Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 19.
        
            No. 3&4.
        
                Pages 377&#x2212;402.
            2009.
        </p> <p
            class="publicationNote"> Revised version of Gibbons&Oliveira2006:Essence</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1409-abstract.html">
			Details <span class="sr-only" > about <em> The Essence of the Iterator Pattern  </em></span> </a> |
			<a href="/publications/publication1409.bib">
			BibTeX  <span class="sr-only" > data for <em> The Essence of the Iterator Pattern  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796809007291">
		DOI (10.1017/S0956796809007291)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf"> Download (pdf)  <span class="sr-only" > of <em> The Essence of the Iterator Pattern  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metamorphisms: Streaming Representation&#x2212;Changers </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 65.
        
            No. 2.
        
                Pages 108&#x2212;139.
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication380-abstract.html">
			Details <span class="sr-only" > about <em> Metamorphisms: Streaming Representation&#x2212;Changers  </em></span> </a> |
			<a href="/publications/publication380.bib">
			BibTeX  <span class="sr-only" > data for <em> Metamorphisms: Streaming Representation&#x2212;Changers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2006.01.006">
		DOI (10.1016/j.scico.2006.01.006)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Metamorphisms: Streaming Representation&#x2212;Changers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Enumerating the Rationals </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; David Lester and Richard Bird  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 16.
        
            No. 4.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1664-abstract.html">
			Details <span class="sr-only" > about <em> Enumerating the Rationals  </em></span> </a> |
			<a href="/publications/publication1664.bib">
			BibTeX  <span class="sr-only" > data for <em> Enumerating the Rationals  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796806005880">
		DOI (10.1017/S0956796806005880)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.pdf"> Download (pdf)  <span class="sr-only" > of <em> Enumerating the Rationals  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Unbounded Spigot Algorithm for the Digits of Pi </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>American Mathematical Monthly</em>.
        
            Vol. 113.
        
            No. 4.
        
                Pages 318&#x2212;328.
            April,
            2006.
        </p> <p
            class="publicationNote"> Reprinted on p245&#x2212;257 of "Pi: The Next Generation"&#x201a; ed David H. Bailey and Jonathan M. Borwein&#x201a; Springer 2016&#x201a; ISBN 978&#x2212;3&#x2212;319&#x2212;32377&#x2212;0</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1674-abstract.html">
			Details <span class="sr-only" > about <em> An Unbounded Spigot Algorithm for the Digits of Pi  </em></span> </a> |
			<a href="/publications/publication1674.bib">
			BibTeX  <span class="sr-only" > data for <em> An Unbounded Spigot Algorithm for the Digits of Pi  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.2307/27641917">
		DOI (10.2307/27641917)
		</a> 
					| <a href="https://doi.org/10.2307/27641917"> Link <span class="sr-only" > to <em> An Unbounded Spigot Algorithm for the Digits of Pi  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Proof Methods for Corecursive Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Graham Hutton  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Fundamenta Informaticae</em>.
        
            Vol. 66.
        
            No. 4.
        
                Pages 353&#x2212;366.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2358-abstract.html">
			Details <span class="sr-only" > about <em> Proof Methods for Corecursive Programs  </em></span> </a> |
			<a href="/publications/publication2358.bib">
			BibTeX  <span class="sr-only" > data for <em> Proof Methods for Corecursive Programs  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/corecursive.pdf"> Download (pdf)  <span class="sr-only" > of <em> Proof Methods for Corecursive Programs  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Disciplined&#x201a; efficient&#x201a; generalised folds for nested datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Clare Martin&#x201a; Jeremy Gibbons and Ian Bayley  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            Vol. 16.
        
            No. 1.
        
                Pages 19&#x2212;35.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2373-abstract.html">
			Details <span class="sr-only" > about <em> Disciplined&#x201a; efficient&#x201a; generalised folds for nested datatypes  </em></span> </a> |
			<a href="/publications/publication2373.bib">
			BibTeX  <span class="sr-only" > data for <em> Disciplined&#x201a; efficient&#x201a; generalised folds for nested datatypes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s00165-003-0013-6">
		DOI (10.1007/s00165-003-0013-6)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/efolds.pdf"> Download (pdf)  <span class="sr-only" > of <em> Disciplined&#x201a; efficient&#x201a; generalised folds for nested datatypes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Generic Approximation Lemma </strong> </p>
	    <p class="publicationAuthors"> <em> Graham Hutton and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information Processing Letters</em>.
        
            Vol. 79.
        
            No. 4.
        
                Pages 197&#x2013;201.
            August,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2355-abstract.html">
			Details <span class="sr-only" > about <em> The Generic Approximation Lemma  </em></span> </a> |
			<a href="/publications/publication2355.bib">
			BibTeX  <span class="sr-only" > data for <em> The Generic Approximation Lemma  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S0020-0190(00)00220-9">
		DOI (10.1016/S0020-0190(00)00220-9)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/approx.ps.gz"> Link <span class="sr-only" > to <em> The Generic Approximation Lemma  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Semantics of Nested Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Clare Martin and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information Processing Letters</em>.
        
            Vol. 80.
        
            No. 5.
        
                Pages 233&#x2013;238.
            December,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2354-abstract.html">
			Details <span class="sr-only" > about <em> On the Semantics of Nested Datatypes  </em></span> </a> |
			<a href="/publications/publication2354.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Semantics of Nested Datatypes  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/semantics.ps.gz"> Link <span class="sr-only" > to <em> On the Semantics of Nested Datatypes  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            When is a Function a Fold or an Unfold? </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Graham Hutton and Thorsten Altenkirch  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Electronic Notes in Theoretical Computer Science</em>.
        
            Vol. 44.
        
            No. 1.
        April,
            2001.
        </p> <p
            class="publicationNote"> Proceedings of Coalgebraic Methods in Computer Science</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2368-abstract.html">
			Details <span class="sr-only" > about <em> When is a Function a Fold or an Unfold?  </em></span> </a> |
			<a href="/publications/publication2368.bib">
			BibTeX  <span class="sr-only" > data for <em> When is a Function a Fold or an Unfold?  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S1571-0661(04)80906-X">
		DOI (10.1016/S1571-0661(04)80906-X)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kernels.ps.gz"> Link <span class="sr-only" > to <em> When is a Function a Fold or an Unfold?  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[41] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generic Downwards Accumulations </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 37.
        
                Pages 37&#x2013;65.
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2366-abstract.html">
			Details <span class="sr-only" > about <em> Generic Downwards Accumulations  </em></span> </a> |
			<a href="/publications/publication2366.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Downwards Accumulations  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/genda.ps.gz"> Link <span class="sr-only" > to <em> Generic Downwards Accumulations  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[42] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Pointless Derivation of Radixsort </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 9.
        
            No. 3.
        
                Pages 339&#x2013;346.
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2375-abstract.html">
			Details <span class="sr-only" > about <em> A Pointless Derivation of Radixsort  </em></span> </a> |
			<a href="/publications/publication2375.bib">
			BibTeX  <span class="sr-only" > data for <em> A Pointless Derivation of Radixsort  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/radix.ps.gz"> Link <span class="sr-only" > to <em> A Pointless Derivation of Radixsort  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[43] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Bridging the Algorithm Gap: A Linear&#x2212;Time Functional Program for Paragraph Formatting </strong> </p>
	    <p class="publicationAuthors"> <em> Oege de Moor and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 35.
        
            No. 1.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2361-abstract.html">
			Details <span class="sr-only" > about <em> Bridging the Algorithm Gap: A Linear&#x2212;Time Functional Program for Paragraph Formatting  </em></span> </a> |
			<a href="/publications/publication2361.bib">
			BibTeX  <span class="sr-only" > data for <em> Bridging the Algorithm Gap: A Linear&#x2212;Time Functional Program for Paragraph Formatting  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/bridging.ps.gz"> Link <span class="sr-only" > to <em> Bridging the Algorithm Gap: A Linear&#x2212;Time Functional Program for Paragraph Formatting  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[44] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Structured Programming in Java </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>SIGPLAN Notices</em>.
        
            Vol. 33.
        
            No. 4.
        
                Pages 40&#x2013;43.
            April,
            1998.
        </p> <p
            class="publicationNote"> Also in Fintan Culwin&#x201a; editor&#x201a; <em>Proceedings of the Second Conference on Java in the Computing Curriculum</em>&#x201a; South Bank University&#x201a; London</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2347-abstract.html">
			Details <span class="sr-only" > about <em> Structured Programming in Java  </em></span> </a> |
			<a href="/publications/publication2347.bib">
			BibTeX  <span class="sr-only" > data for <em> Structured Programming in Java  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spjava.ps.gz"> Link <span class="sr-only" > to <em> Structured Programming in Java  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[45] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Computing Downwards Accumulations on Trees Quickly </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Theoretical Computer Science</em>.
        
            Vol. 169.
        
            No. 1.
        
                Pages 67&#x2013;80.
            1996.
        </p> <p
            class="publicationNote"> Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference&#x201a; Brisbane&#x201a; 1993</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2362-abstract.html">
			Details <span class="sr-only" > about <em> Computing Downwards Accumulations on Trees Quickly  </em></span> </a> |
			<a href="/publications/publication2362.bib">
			BibTeX  <span class="sr-only" > data for <em> Computing Downwards Accumulations on Trees Quickly  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/quickly.ps.gz"> Link <span class="sr-only" > to <em> Computing Downwards Accumulations on Trees Quickly  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[46] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deriving Tidy Drawings of Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 6.
        
            No. 3.
        
                Pages 535&#x2013;562.
            1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2342-abstract.html">
			Details <span class="sr-only" > about <em> Deriving Tidy Drawings of Trees  </em></span> </a> |
			<a href="/publications/publication2342.bib">
			BibTeX  <span class="sr-only" > data for <em> Deriving Tidy Drawings of Trees  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/drawing.ps.gz"> Link <span class="sr-only" > to <em> Deriving Tidy Drawings of Trees  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[47] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Third Homomorphism Theorem </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        
            Vol. 6.
        
            No. 4.
        
                Pages 657&#x2013;665.
            1996.
        </p> <p
            class="publicationNote"> Earlier version appeared in  B. Jay&#x201a;C. editor&#x201a; <em>Computing: The Australian Theory Seminar</em>&#x201a; Sydney&#x201a; December&#xa0;1994&#x201a;  62&#x2013;6p.9</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2365-abstract.html">
			Details <span class="sr-only" > about <em> The Third Homomorphism Theorem  </em></span> </a> |
			<a href="/publications/publication2365.bib">
			BibTeX  <span class="sr-only" > data for <em> The Third Homomorphism Theorem  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/thirdht.ps.gz"> Link <span class="sr-only" > to <em> The Third Homomorphism Theorem  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[48] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Efficient Parallel Algorithms for Tree Accumulations </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Wentong Cai and David Skillicorn  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 23.
        
                Pages 1&#x2013;18.
            1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2371-abstract.html">
			Details <span class="sr-only" > about <em> Efficient Parallel Algorithms for Tree Accumulations  </em></span> </a> |
			<a href="/publications/publication2371.bib">
			BibTeX  <span class="sr-only" > data for <em> Efficient Parallel Algorithms for Tree Accumulations  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/efficient.ps.gz"> Link <span class="sr-only" > to <em> Efficient Parallel Algorithms for Tree Accumulations  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[49] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Derivation of a Pattern Matching Algorithm </strong> </p>
	    <p class="publicationAuthors"> <em> Richard S. Bird&#x201a; Jeremy Gibbons and Geraint Jones  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 12.
        
            No. 2.
        
                Pages 93&#x2013;104.
            July,
            1989.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2374-abstract.html">
			Details <span class="sr-only" > about <em> Formal Derivation of a Pattern Matching Algorithm  </em></span> </a> |
			<a href="/publications/publication2374.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Derivation of a Pattern Matching Algorithm  </em></span>   </a>
			
			
					| <a href="http://dx.doi.org/10.1016/0167-6423(89)90036-1"> Link <span class="sr-only" > to <em> Formal Derivation of a Pattern Matching Algorithm  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[50] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
             </strong> </p>
	    <p class="publicationAuthors"> <em>   </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16309-abstract.html">
			Details <span class="sr-only" > about <em>   </em></span> </a> |
			<a href="/publications/publication16309.bib">
			BibTeX  <span class="sr-only" > data for <em>   </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Phases in Software Architecture (architectural pearl) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Oisin Kidney&#x201a; Tom Schrijvers and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Functional Software Architecture</em>.
        September,
            2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication15860-abstract.html">
			Details <span class="sr-only" > about <em> Phases in Software Architecture (architectural pearl)  </em></span> </a> |
			<a href="/publications/publication15860.bib">
			BibTeX  <span class="sr-only" > data for <em> Phases in Software Architecture (architectural pearl)  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/phases.pdf"> Download (pdf)  <span class="sr-only" > of <em> Phases in Software Architecture (architectural pearl)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algorithm Design with the Selection Monad </strong> </p>
	    <p class="publicationAuthors"> <em> Johannes Hartmann and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Wouter Swierstra and Nicolas Wu, editors,
             
            <em>
            Trends in Functional Programming</em>.
        
            Vol. 13401
                of LNCS.
        
                Pages 126&#x2212;143.
            2022.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication15820-abstract.html">
			Details <span class="sr-only" > about <em> Algorithm Design with the Selection Monad  </em></span> </a> |
			<a href="/publications/publication15820.bib">
			BibTeX  <span class="sr-only" > data for <em> Algorithm Design with the Selection Monad  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-031-21314-4_7">
		DOI (10.1007/978-3-031-21314-4_7)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/selection.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algorithm Design with the Selection Monad  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The School of Squiggol: A History of the Bird&#x2212;Meertens Formalism </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Troy Astarte, editor,
             
            <em>
            Formal Methods (Workshop on History of Formal Methods)</em>.
        
            Vol. 12233
                of LNCS.
        Springer.
        2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13852-abstract.html">
			Details <span class="sr-only" > about <em> The School of Squiggol: A History of the Bird&#x2212;Meertens Formalism  </em></span> </a> |
			<a href="/publications/publication13852.bib">
			BibTeX  <span class="sr-only" > data for <em> The School of Squiggol: A History of the Bird&#x2212;Meertens Formalism  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-030-54997-8_2">
		DOI (10.1007/978-3-030-54997-8_2)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf"> Download (pdf)  <span class="sr-only" > of <em> The School of Squiggol: A History of the Bird&#x2212;Meertens Formalism  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Coding with Asymmetric Numeral Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 11825
                of Lecture Notes in Computer Science.
        
                Pages 444&#x2212;465.
            Springer.
        October,
            2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12590-abstract.html">
			Details <span class="sr-only" > about <em> Coding with Asymmetric Numeral Systems  </em></span> </a> |
			<a href="/publications/publication12590.bib">
			BibTeX  <span class="sr-only" > data for <em> Coding with Asymmetric Numeral Systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-030-33636-3_16">
		DOI (10.1007/978-3-030-33636-3_16)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/asymm.pdf"> Download (pdf)  <span class="sr-only" > of <em> Coding with Asymmetric Numeral Systems  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            APLicative Programming with Naperian Functors </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Hongseok Yang, editor,
             
            <em>
            European Symposium on Programming</em>.
        
            Vol. 10201
                of LNCS.
        
                Pages 568&#x2212;583.
            April,
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10857-abstract.html">
			Details <span class="sr-only" > about <em> APLicative Programming with Naperian Functors  </em></span> </a> |
			<a href="/publications/publication10857.bib">
			BibTeX  <span class="sr-only" > data for <em> APLicative Programming with Naperian Functors  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-662-54434-1_21">
		DOI (10.1007/978-3-662-54434-1_21)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf"> Download (pdf)  <span class="sr-only" > of <em> APLicative Programming with Naperian Functors  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Free Delivery (functional pearl) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Haskell Symposium</em>.
        
                Pages 45&#x2212;50.
            ACM.
        September,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10578-abstract.html">
			Details <span class="sr-only" > about <em> Free Delivery (functional pearl)  </em></span> </a> |
			<a href="/publications/publication10578.bib">
			BibTeX  <span class="sr-only" > data for <em> Free Delivery (functional pearl)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2976002.2976005">
		DOI (10.1145/2976002.2976005)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/delivery.pdf"> Download (pdf)  <span class="sr-only" > of <em> Free Delivery (functional pearl)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            APLicative Programming with Naperian Functors (extended abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            TyDe</em>.
        September,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10575-abstract.html">
			Details <span class="sr-only" > about <em> APLicative Programming with Naperian Functors (extended abstract)  </em></span> </a> |
			<a href="/publications/publication10575.bib">
			BibTeX  <span class="sr-only" > data for <em> APLicative Programming with Naperian Functors (extended abstract)  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/apl-extabs.pdf"> Download (pdf)  <span class="sr-only" > of <em> APLicative Programming with Naperian Functors (extended abstract)  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            From Push/Enter to Eval/Apply by Program Transformation </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pir&#xf3;g and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Olivier Danvy and Ugo de'Liguoro, editors,
             
            <em>
            Proceedings of the Workshop on Continuations</em>.
        
            Vol. 212
                of Electronic Proceedings in Theoretical Computer Science.
        
                Pages 53&#x2212;62.
            June,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10522-abstract.html">
			Details <span class="sr-only" > about <em> From Push/Enter to Eval/Apply by Program Transformation  </em></span> </a> |
			<a href="/publications/publication10522.bib">
			BibTeX  <span class="sr-only" > data for <em> From Push/Enter to Eval/Apply by Program Transformation  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.212.4">
		DOI (10.4204/EPTCS.212.4)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/peea.pdf"> Download (pdf)  <span class="sr-only" > of <em> From Push/Enter to Eval/Apply by Program Transformation  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reflections on Monadic Lenses </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            A List of Successes That Can Change the World</em>.
        
            Vol. 9600
                of LNCS.
        
                Pages 1&#x2212;31.
            Springer.
        April,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10416-abstract.html">
			Details <span class="sr-only" > about <em> Reflections on Monadic Lenses  </em></span> </a> |
			<a href="/publications/publication10416.bib">
			BibTeX  <span class="sr-only" > data for <em> Reflections on Monadic Lenses  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-30936-1_1">
		DOI (10.1007/978-3-319-30936-1_1)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mlenses.pdf"> Download (pdf)  <span class="sr-only" > of <em> Reflections on Monadic Lenses  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Comprehending Ringads: For Phil Wadler&#x201a; on the Occasion of his 60th Birthday </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            A List of Successes That Can Change the World</em>.
        
            Vol. 9600
                of LNCS.
        
                Pages 132&#x2212;151.
            Springer.
        April,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10415-abstract.html">
			Details <span class="sr-only" > about <em> Comprehending Ringads: For Phil Wadler&#x201a; on the Occasion of his 60th Birthday  </em></span> </a> |
			<a href="/publications/publication10415.bib">
			BibTeX  <span class="sr-only" > data for <em> Comprehending Ringads: For Phil Wadler&#x201a; on the Occasion of his 60th Birthday  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-30936-1_7">
		DOI (10.1007/978-3-319-30936-1_7)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf"> Download (pdf)  <span class="sr-only" > of <em> Comprehending Ringads: For Phil Wadler&#x201a; on the Occasion of his 60th Birthday  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reasoning about Probability and Nondeterminism </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; Kwok&#x2212;Ho Cheung and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            POPL workshop on Probabilistic Programming Semantics</em>.
        January,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10268-abstract.html">
			Details <span class="sr-only" > about <em> Reasoning about Probability and Nondeterminism  </em></span> </a> |
			<a href="/publications/publication10268.bib">
			BibTeX  <span class="sr-only" > data for <em> Reasoning about Probability and Nondeterminism  </em></span>   </a>
			
			
					| <a href="http://web.archive.org/web/20160328042056/http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/"> Link <span class="sr-only" > to <em> Reasoning about Probability and Nondeterminism  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Domain&#x2212;Specific Modelling for Clinical Research </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Adam Milward&#x201a; David Milward&#x201a; Seyyed Shah&#x201a; Monika Solanki and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            SPLASH Workshop on Domain&#x2212;Specific Modelling</em>.
        October,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10267-abstract.html">
			Details <span class="sr-only" > about <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span> </a> |
			<a href="/publications/publication10267.bib">
			BibTeX  <span class="sr-only" > data for <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2846696.2846701">
		DOI (10.1145/2846696.2846701)
		</a> 
					| <a href="http://www.dsmforum.org/events/dsm15/Papers/Davies.pdf"> Download (pdf)  <span class="sr-only" > of <em> Domain&#x2212;Specific Modelling for Clinical Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Relational Algebra by Way of Adjunctions </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Fritz Henglein&#x201a; Ralf Hinze and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Database Programming Languages</em>.
        October,
            2015.
        </p> <p
            class="publicationNote"> Talk only</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10091-abstract.html">
			Details <span class="sr-only" > about <em> Relational Algebra by Way of Adjunctions  </em></span> </a> |
			<a href="/publications/publication10091.bib">
			BibTeX  <span class="sr-only" > data for <em> Relational Algebra by Way of Adjunctions  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj-dbpl.pdf"> Download (pdf)  <span class="sr-only" > of <em> Relational Algebra by Way of Adjunctions  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Principle of Least Surprise for Bidirectional Transformations </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
            In Alcino Cunha and Ekkart Kindler, editors,
             
            <em>
            4th International Workshop on Bidirectional Transformations</em>.
        
                Pages 66&#x2212;80.
            CEUR Workshop Proceedings.
        July,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9686-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Principle of Least Surprise for Bidirectional Transformations  </em></span> </a> |
			<a href="/publications/publication9686.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Principle of Least Surprise for Bidirectional Transformations  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1396/p66-cheney.pdf"> Download (pdf)  <span class="sr-only" > of <em> Towards a Principle of Least Surprise for Bidirectional Transformations  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Coalgebraic Aspects of Bidirectional Computation </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James McKinna and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Alcino Cunha and Ekkart Kindler, editors,
             
            <em>
            4th International Workshop on Bidirectional Transformations</em>.
        
                Pages 16&#x2212;30.
            CEUR Workshop Proceedings.
        July,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9685-abstract.html">
			Details <span class="sr-only" > about <em> Coalgebraic Aspects of Bidirectional Computation  </em></span> </a> |
			<a href="/publications/publication9685.bib">
			BibTeX  <span class="sr-only" > data for <em> Coalgebraic Aspects of Bidirectional Computation  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1396/p16-abousaleh.pdf"> Download (pdf)  <span class="sr-only" > of <em> Coalgebraic Aspects of Bidirectional Computation  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modules over Monads&#x201a; and Their Algebras </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pir&#xf3;g&#x201a; Nicolas Wu and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Larry Moss and Pawe&#x0142; Soboci&#x0144;ski, editors,
             
            <em>
            6th International Conference on Algebra and Coalgebra in Computer Science (CALCO&#x2019;15)</em>.
        
                Pages 287&#x2212;300.
            June,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9684-abstract.html">
			Details <span class="sr-only" > about <em> Modules over Monads&#x201a; and Their Algebras  </em></span> </a> |
			<a href="/publications/publication9684.bib">
			BibTeX  <span class="sr-only" > data for <em> Modules over Monads&#x201a; and Their Algebras  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/LIPIcs.CALCO.2015.290">
		DOI (10.4230/LIPIcs.CALCO.2015.290)
		</a> 
					| <a href="https://coalg.org/calco15/papers/p18-Pir%C3%B3g.pdf"> Download (pdf)  <span class="sr-only" > of <em> Modules over Monads&#x201a; and Their Algebras  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Notions of Bidirectional Computation and Entangled State Monads </strong> </p>
	    <p class="publicationAuthors"> <em> Faris Abou&#x2212;Saleh&#x201a; James Cheney&#x201a; Jeremy Gibbons&#x201a; James McKinna and Perdita Stevens  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Mathematics of Program Construction</em>.
        June,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9529-abstract.html">
			Details <span class="sr-only" > about <em> Notions of Bidirectional Computation and Entangled State Monads  </em></span> </a> |
			<a href="/publications/publication9529.bib">
			BibTeX  <span class="sr-only" > data for <em> Notions of Bidirectional Computation and Entangled State Monads  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/entangled.pdf"> Download (pdf)  <span class="sr-only" > of <em> Notions of Bidirectional Computation and Entangled State Monads  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Conjugate Hylomorphisms&#x201a; Or: The Mother of All Structured Recursion Schemes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Nicolas Wu and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            POPL 2015</em>.
        
                Pages 527&#x2212;538.
            January,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9017-abstract.html">
			Details <span class="sr-only" > about <em> Conjugate Hylomorphisms&#x201a; Or: The Mother of All Structured Recursion Schemes  </em></span> </a> |
			<a href="/publications/publication9017.bib">
			BibTeX  <span class="sr-only" > data for <em> Conjugate Hylomorphisms&#x201a; Or: The Mother of All Structured Recursion Schemes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2676726.2676989">
		DOI (10.1145/2676726.2676989)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/papers/conj-hylo.pdf"> Download (pdf)  <span class="sr-only" > of <em> Conjugate Hylomorphisms&#x201a; Or: The Mother of All Structured Recursion Schemes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Compositionality in Embedded Domain&#x2212;Specific Languages </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Domain&#x2212;Specific Language Design and Implementation</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9024-abstract.html">
			Details <span class="sr-only" > about <em> Compositionality in Embedded Domain&#x2212;Specific Languages  </em></span> </a> |
			<a href="/publications/publication9024.bib">
			BibTeX  <span class="sr-only" > data for <em> Compositionality in Embedded Domain&#x2212;Specific Languages  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding-dsldi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Compositionality in Embedded Domain&#x2212;Specific Languages  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The coinductive resumption monad </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pir&#xf3;g and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 308.
        
                Pages 273&#x2013;288.
            2014.
        </p> <p
            class="publicationNote"> Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics&#x201a; MFPS XXX</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8743-abstract.html">
			Details <span class="sr-only" > about <em> The coinductive resumption monad  </em></span> </a> |
			<a href="/publications/publication8743.bib">
			BibTeX  <span class="sr-only" > data for <em> The coinductive resumption monad  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6660/crm.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> The coinductive resumption monad  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1016/j.entcs.2014.10.015">
		DOI (10.1016/j.entcs.2014.10.015)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Entangled State Monads </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney&#x201a; James McKinna&#x201a; Perdita Stevens&#x201a; Jeremy Gibbons and Faris Abou&#x2212;Saleh  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            BX Workshop</em>.
        March,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8551-abstract.html">
			Details <span class="sr-only" > about <em> Entangled State Monads  </em></span> </a> |
			<a href="/publications/publication8551.bib">
			BibTeX  <span class="sr-only" > data for <em> Entangled State Monads  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1133/paper-17.pdf"> Download (pdf)  <span class="sr-only" > of <em> Entangled State Monads  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Repository of BX Examples </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney&#x201a; James McKinna&#x201a; Perdita Stevens and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            BX Workshop</em>.
        March,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8550-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Repository of BX Examples  </em></span> </a> |
			<a href="/publications/publication8550.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Repository of BX Examples  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1133/paper-14.pdf"> Download (pdf)  <span class="sr-only" > of <em> Towards a Repository of BX Examples  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Folding Domain&#x2212;Specific Languages: Deep and Shallow Embeddings </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Functional Programming</em>.
        
                Pages 339&#x2212;347.
            September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7584-abstract.html">
			Details <span class="sr-only" > about <em> Folding Domain&#x2212;Specific Languages: Deep and Shallow Embeddings  </em></span> </a> |
			<a href="/publications/publication7584.bib">
			BibTeX  <span class="sr-only" > data for <em> Folding Domain&#x2212;Specific Languages: Deep and Shallow Embeddings  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2628136.2628138">
		DOI (10.1145/2628136.2628138)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf"> Download (pdf)  <span class="sr-only" > of <em> Folding Domain&#x2212;Specific Languages: Deep and Shallow Embeddings  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Unifying Structured Recursion Schemes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Nicolas Wu and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Tarmo Uustalu, editor,
             
            <em>
            Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming</em>.
        
                Pages 209&#x2013;220.
            New York&#x201a; NY&#x201a; USA.
        2013.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8034-abstract.html">
			Details <span class="sr-only" > about <em> Unifying Structured Recursion Schemes  </em></span> </a> |
			<a href="/publications/publication8034.bib">
			BibTeX  <span class="sr-only" > data for <em> Unifying Structured Recursion Schemes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2500365.2500578">
		DOI (10.1145/2500365.2500578)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unifying Structured Recursion Schemes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Functional Programming for Domain&#x2212;Specific Languages </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Vikt&#xf3;ria Zs&#xf3;k&#x201a; Zolt&#xe1;n Horv&#xe1;th and Lehel Csat&#xf3;, editors,
             
            <em>
            Central European Functional Programming &#x2212; Summer School on Domain&#x2212;Specific Languages</em>.
        
            Vol. 8606
                of LNCS.
        
                Pages 1&#x2212;28.
            Springer.
        July,
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7583-abstract.html">
			Details <span class="sr-only" > about <em> Functional Programming for Domain&#x2212;Specific Languages  </em></span> </a> |
			<a href="/publications/publication7583.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Programming for Domain&#x2212;Specific Languages  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-15940-9_1">
		DOI (10.1007/978-3-319-15940-9_1)
		</a> 
					| <a href="http://link.springer.com/chapter/10.1007/978-3-319-15940-9_1"> Link <span class="sr-only" > to <em> Functional Programming for Domain&#x2212;Specific Languages  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Understanding Idiomatic Traversals Backwards and Forwards </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird&#x201a; Jeremy Gibbons&#x201a; Stefan Mehner&#x201a; Janis Voigtlaender and Tom Schrijvers  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Haskell Symposium</em>.
        September,
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7024-abstract.html">
			Details <span class="sr-only" > about <em> Understanding Idiomatic Traversals Backwards and Forwards  </em></span> </a> |
			<a href="/publications/publication7024.bib">
			BibTeX  <span class="sr-only" > data for <em> Understanding Idiomatic Traversals Backwards and Forwards  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2503778.2503781">
		DOI (10.1145/2503778.2503781)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uitbaf.pdf"> Download (pdf)  <span class="sr-only" > of <em> Understanding Idiomatic Traversals Backwards and Forwards  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Monads for behaviour </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pir&#xf3;g and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 298.
        
                Pages 309 &#x2212; 324.
            2013.
        </p> <p
            class="publicationNote"> Proceedings of the Twenty&#x2212;ninth Conference on the Mathematical Foundations of Programming Semantics&#x201a; MFPS XXIX</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6818-abstract.html">
			Details <span class="sr-only" > about <em> Monads for behaviour  </em></span> </a> |
			<a href="/publications/publication6818.bib">
			BibTeX  <span class="sr-only" > data for <em> Monads for behaviour  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5694/monbeh-final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Monads for behaviour  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1016/j.entcs.2013.09.019">
		DOI (10.1016/j.entcs.2013.09.019)
		</a> 
					| <a href="http://www.sciencedirect.com/science/article/pii/S1571066113000650"> Link <span class="sr-only" > to <em> Monads for behaviour  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Relational algebraic ornaments </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Dependently Typed Programming</em>.
        ACM.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6569-abstract.html">
			Details <span class="sr-only" > about <em> Relational algebraic ornaments  </em></span> </a> |
			<a href="/publications/publication6569.bib">
			BibTeX  <span class="sr-only" > data for <em> Relational algebraic ornaments  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2502409.2502413">
		DOI (10.1145/2502409.2502413)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf"> Download (pdf)  <span class="sr-only" > of <em> Relational algebraic ornaments  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Compositionality and Refinement in Model&#x2212;Driven Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; David Milward and James Welch  </em> </p>
	
	<p class="publicationDetails"> 
            In Rohit Gheyi and David A. Naumann, editors,
             
            <em>
            Formal Methods: Foundations and Applications &#x2212; 15th Brazilian Symposium&#x201a; SBMF 2012. Proceedings</em>.
        
            Vol. 7498
                of Lecture Notes in Computer Science.
        
                Pages 99&#x2212;114.
            Springer.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6296-abstract.html">
			Details <span class="sr-only" > about <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span> </a> |
			<a href="/publications/publication6296.bib">
			BibTeX  <span class="sr-only" > data for <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/4939/sbmf2012_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Compositionality and Refinement in Model&#x2212;Driven Engineering  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-33296-8_9">
		DOI (10.1007/978-3-642-33296-8_9)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Unifying Theories of Programming with Monads </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            UTP Symposium</em>.
        August,
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6167-abstract.html">
			Details <span class="sr-only" > about <em> Unifying Theories of Programming with Monads  </em></span> </a> |
			<a href="/publications/publication6167.bib">
			BibTeX  <span class="sr-only" > data for <em> Unifying Theories of Programming with Monads  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-35705-3_2">
		DOI (10.1007/978-3-642-35705-3_2)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/utp-monads.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unifying Theories of Programming with Monads  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tracing monadic computations and representing effects </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Pirog and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In James Chapman and Paul Blain Levy, editors,
             
            <em>
            Proceedings Fourth Workshop on Mathematically Structured Functional Programming&#x201a; Tallinn&#x201a; Estonia&#x201a; 25 March 2012</em>.
        
            Vol. 76
                of Electronic Proceedings in Theoretical Computer Science.
        
                Pages 90&#x2212;111.
            Open Publishing Association.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5605-abstract.html">
			Details <span class="sr-only" > about <em> Tracing monadic computations and representing effects  </em></span> </a> |
			<a href="/publications/publication5605.bib">
			BibTeX  <span class="sr-only" > data for <em> Tracing monadic computations and representing effects  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.76.8">
		DOI (10.4204/EPTCS.76.8)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/trmon.pdf"> Download (pdf)  <span class="sr-only" > of <em> Tracing monadic computations and representing effects  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Relating Algebraic and Coalgebraic Descriptions of Lenses </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Mike Johnson  </em> </p>
	
	<p class="publicationDetails"> 
            Vol. 49 (Bidirectional Transformations 2012).
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4599-abstract.html">
			Details <span class="sr-only" > about <em> Relating Algebraic and Coalgebraic Descriptions of Lenses  </em></span> </a> |
			<a href="/publications/publication4599.bib">
			BibTeX  <span class="sr-only" > data for <em> Relating Algebraic and Coalgebraic Descriptions of Lenses  </em></span>   </a>
			
			
					| <a href="http://journal.ub.tu-berlin.de/eceasst/article/download/726/742"> Link <span class="sr-only" > to <em> Relating Algebraic and Coalgebraic Descriptions of Lenses  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Maximum Segment Sum&#x201a; Monadically (distilled tutorial) </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Olivier Danvy and Chung&#x2212;chieh Shan, editors,
             
            <em>
            IFIP TC2 Working Conference on Domain&#x2212;Specific Languages</em>.
        Bordeaux.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5199-abstract.html">
			Details <span class="sr-only" > about <em> Maximum Segment Sum&#x201a; Monadically (distilled tutorial)  </em></span> </a> |
			<a href="/publications/publication5199.bib">
			BibTeX  <span class="sr-only" > data for <em> Maximum Segment Sum&#x201a; Monadically (distilled tutorial)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.66.9">
		DOI (10.4204/EPTCS.66.9)
		</a> 
					| <a href="http://arxiv.org/abs/1109.0782"> Link <span class="sr-only" > to <em> Maximum Segment Sum&#x201a; Monadically (distilled tutorial)  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modularising inductive families </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Generic Programming</em>.
        
                Pages 13&#x2212;24.
            ACM.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5008-abstract.html">
			Details <span class="sr-only" > about <em> Modularising inductive families  </em></span> </a> |
			<a href="/publications/publication5008.bib">
			BibTeX  <span class="sr-only" > data for <em> Modularising inductive families  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2036918.2036921">
		DOI (10.1145/2036918.2036921)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf"> Download (pdf)  <span class="sr-only" > of <em> Modularising inductive families  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Incremental Updates for Efficient Bidirectional Transformations </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang&#x201a; Jeremy Gibbons and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ICFP</em>.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4878-abstract.html">
			Details <span class="sr-only" > about <em> Incremental Updates for Efficient Bidirectional Transformations  </em></span> </a> |
			<a href="/publications/publication4878.bib">
			BibTeX  <span class="sr-only" > data for <em> Incremental Updates for Efficient Bidirectional Transformations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2034773.2034825">
		DOI (10.1145/2034773.2034825)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf"> Download (pdf)  <span class="sr-only" > of <em> Incremental Updates for Efficient Bidirectional Transformations  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Just do it: Simple monadic equational reasoning </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ICFP</em>.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4877-abstract.html">
			Details <span class="sr-only" > about <em> Just do it: Simple monadic equational reasoning  </em></span> </a> |
			<a href="/publications/publication4877.bib">
			BibTeX  <span class="sr-only" > data for <em> Just do it: Simple monadic equational reasoning  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2034773.2034777">
		DOI (10.1145/2034773.2034777)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/mr.pdf"> Download (pdf)  <span class="sr-only" > of <em> Just do it: Simple monadic equational reasoning  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Radu Calinescu&#x201a; Charles Crichton&#x201a; Steve Harris and Andrew Tsui  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Symposium on Foundations of Health Information Engineering and Systems</em>.
        
            Vol. 7151
                of LNCS.
        
                Pages 21&#x2212;38.
            Springer.
        August,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4600-abstract.html">
			Details <span class="sr-only" > about <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication4600.bib">
			BibTeX  <span class="sr-only" > data for <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-32355-3_2">
		DOI (10.1007/978-3-642-32355-3_2)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fff.pdf"> Download (pdf)  <span class="sr-only" > of <em> Form Follows Function: Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Frameworks: Meanings in the Architecture </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Distributed Computing and Internet Technology</em>.
        
            Vol. 5966
                of LNCS.
        
                Pages 40&#x2212;54.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3798-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Frameworks: Meanings in the Architecture  </em></span> </a> |
			<a href="/publications/publication3798.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Frameworks: Meanings in the Architecture  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-11659-9_4">
		DOI (10.1007/978-3-642-11659-9_4)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Gradual Refinement: Blending Pattern Matching with Data Abstraction </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang&#x201a; Jeremy Gibbons&#x201a; Kazutaka Matsuda and Zhenjiang Hu  </em> </p>
	
	<p class="publicationDetails"> 
            In Jules Desharnais, editor,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 6120
                of LNCS.
        2010.
        </p> <p
            class="publicationNote"> See revised journal version "Refactoring Pattern Matching"</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3546-abstract.html">
			Details <span class="sr-only" > about <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span> </a> |
			<a href="/publications/publication3546.bib">
			BibTeX  <span class="sr-only" > data for <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2949/MPC10.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-13321-3_22">
		DOI (10.1007/978-3-642-13321-3_22)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gradual.pdf"> Download (pdf)  <span class="sr-only" > of <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Support for a Vaccine Study in Kathmandu </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Jane Metz&#x201a; Andrew J. Pollard and Matthew Snape  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        October,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3340-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span> </a> |
			<a href="/publications/publication3340.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/vaccines.pdf"> Download (pdf)  <span class="sr-only" > of <em> Model&#x2212;Driven Support for a Vaccine Study in Kathmandu  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[41] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Property Specifications for Workflow Modelling </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 7th International Conference on Integrated Formal Methods</em>.
        
            Vol. 5423
                of LNCS.
        February,
            2009.
        </p> <p
            class="publicationNote"> Invited for special issue in Science of Computer Programming. Technical report version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf</a></p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication70-abstract.html">
			Details <span class="sr-only" > about <em> Property Specifications for Workflow Modelling  </em></span> </a> |
			<a href="/publications/publication70.bib">
			BibTeX  <span class="sr-only" > data for <em> Property Specifications for Workflow Modelling  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-00255-7_5">
		DOI (10.1007/978-3-642-00255-7_5)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[42] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantics&#x2212;Driven Development for Electronic Government Applications </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris&#x201a; Aadya Shukla and Andrew Tsui  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            HICSS (Electronic Government Track)</em>.
        Hawaii.
        January,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2855-abstract.html">
			Details <span class="sr-only" > about <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span> </a> |
			<a href="/publications/publication2855.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/HICSS.2009.384">
		DOI (10.1109/HICSS.2009.384)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hicss-sdd.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantics&#x2212;Driven Development for Electronic Government Applications  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[43] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Translucent Abstraction: Safe Views through Invertible Programming (Extended version) </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang&#x201a; Jeremy Gibbons and Kazutaka Matsuda  </em> </p>
	
	<p class="publicationDetails"> 2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1092-abstract.html">
			Details <span class="sr-only" > about <em> Translucent Abstraction: Safe Views through Invertible Programming (Extended version)  </em></span> </a> |
			<a href="/publications/publication1092.bib">
			BibTeX  <span class="sr-only" > data for <em> Translucent Abstraction: Safe Views through Invertible Programming (Extended version)  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2280/total.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Translucent Abstraction: Safe Views through Invertible Programming (Extended version)  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[44] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Parametric Datatype&#x2212;Genericity </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Ross Paterson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Generic Programming</em>.
        Edinburgh.
        August,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication74-abstract.html">
			Details <span class="sr-only" > about <em> Parametric Datatype&#x2212;Genericity  </em></span> </a> |
			<a href="/publications/publication74.bib">
			BibTeX  <span class="sr-only" > data for <em> Parametric Datatype&#x2212;Genericity  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1596614.1596626">
		DOI (10.1145/1596614.1596626)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/parametric.pdf"> Download (pdf)  <span class="sr-only" > of <em> Parametric Datatype&#x2212;Genericity  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[45] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Interoperability Frameworks for Electronic Governance </strong> </p>
	    <p class="publicationAuthors"> <em> Alejandra Cechich&#x201a; Lorenzo Madrid&#x201a; Jeremy Gibbons and Jay Kesan  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance</em>.
        
                Pages 490&#x2013;491.
            Cairo&#x201a; Egypt.
        2008.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5418-abstract.html">
			Details <span class="sr-only" > about <em> Interoperability Frameworks for Electronic Governance  </em></span> </a> |
			<a href="/publications/publication5418.bib">
			BibTeX  <span class="sr-only" > data for <em> Interoperability Frameworks for Electronic Governance  </em></span>   </a>
			
			
					| <a href="http://doi.acm.org/10.1145/1509096.1509207"> Link <span class="sr-only" > to <em> Interoperability Frameworks for Electronic Governance  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[46] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Verifying Business Process Compatibility </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 8th International Conference on Quality Software.</em>.
        
                Pages 126&#x2212;131.
            IEEE Computer Society.
        August,
            2008.
        </p> <p
            class="publicationNote"> Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent&#x201a; Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing&#x201a; June 2007</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication454-abstract.html">
			Details <span class="sr-only" > about <em> Verifying Business Process Compatibility  </em></span> </a> |
			<a href="/publications/publication454.bib">
			BibTeX  <span class="sr-only" > data for <em> Verifying Business Process Compatibility  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/QSIC.2008.6">
		DOI (10.1109/QSIC.2008.6)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/peter.wong/pub/qsic2008.pdf"> Download (pdf)  <span class="sr-only" > of <em> Verifying Business Process Compatibility  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[47] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Specifying and Visualising Long&#x2212;Running Empirical Studies </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations)</em>.
        
            Vol. 5063
                of LNCS.
        July,
            2008.
        </p> <p
            class="publicationNote"> Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1098-abstract.html">
			Details <span class="sr-only" > about <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span> </a> |
			<a href="/publications/publication1098.bib">
			BibTeX  <span class="sr-only" > data for <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-69927-9_6">
		DOI (10.1007/978-3-540-69927-9_6)
		</a> 
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/icmt2008.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[48] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Relative Timed Semantics for BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.</em>.
        
            Vol. 229
                of ENTCS.
        July,
            2008.
        </p> <p
            class="publicationNote"> Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing&#x201a; London&#x201a; United Kingdom&#x201a; June 2008. Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1095-abstract.html">
			Details <span class="sr-only" > about <em> A Relative Timed Semantics for BPMN  </em></span> </a> |
			<a href="/publications/publication1095.bib">
			BibTeX  <span class="sr-only" > data for <em> A Relative Timed Semantics for BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.entcs.2009.06.029">
		DOI (10.1016/j.entcs.2009.06.029)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/relative.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Relative Timed Semantics for BPMN  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[49] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process Semantics for BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y.H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 10th International Conference on Formal Engineering Methods.</em>.
        
            Vol. 5256
                of LNCS.
        October,
            2008.
        </p> <p
            class="publicationNote"> Extended version available at <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf">http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf</a>.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2135-abstract.html">
			Details <span class="sr-only" > about <em> A Process Semantics for BPMN  </em></span> </a> |
			<a href="/publications/publication2135.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process Semantics for BPMN  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-88194-0_22">
		DOI (10.1007/978-3-540-88194-0_22)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[50] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Technologies in Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Steve Harris&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Andrew Tsui and Charles Crichton  </em> </p>
	
	<p class="publicationDetails"> 
            In Tomasz Janowski and Teresa Pardo, editors,
             
            <em>
            ICEGOV 2008</em>.
        
                Pages 45 &#x2013; 51.
            Cairo.
        December,
            2008.
        ACM Press.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2903-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Technologies in Electronic Government  </em></span> </a> |
			<a href="/publications/publication2903.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Technologies in Electronic Government  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1509096.1509108">
		DOI (10.1145/1509096.1509108)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/semantech-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantic Technologies in Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[51] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metadata Standards for Semantic Interoperability in Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Steve Harris&#x201a; Charles Crichton&#x201a; Aadya Shukla and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Theory and Practice of Electronic Governance</em>.
        Cairo.
        December,
            2008.
        </p> <p
            class="publicationNote"> Received a Best Paper Award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2853-abstract.html">
			Details <span class="sr-only" > about <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span> </a> |
			<a href="/publications/publication2853.bib">
			BibTeX  <span class="sr-only" > data for <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/metadata-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Metadata Standards for Semantic Interoperability in Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[52] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods for Electronic Government </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Formal Methods Education and Training at ICFEM</em>.
        Kitakyushu&#x201a; Japan.
        October,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2852-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods for Electronic Government  </em></span> </a> |
			<a href="/publications/publication2852.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods for Electronic Government  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/fmegov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Formal Methods for Electronic Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[53] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures </strong> </p>
	    <p class="publicationAuthors"> <em> Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Denise Warzel  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        Indianapolis&#x201a; IN.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2851-abstract.html">
			Details <span class="sr-only" > about <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span> </a> |
			<a href="/publications/publication2851.bib">
			BibTeX  <span class="sr-only" > data for <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/evolving.pdf"> Download (pdf)  <span class="sr-only" > of <em> Evolving Health Informatics: Semantic Frameworks and Metadata&#x2212;Driven Architectures  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[54] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accelerating Cancer Research Using Semantics&#x2212;Driven Technology </strong> </p>
	    <p class="publicationAuthors"> <em> James Brenton&#x201a; Jim Davies&#x201a; Jeremy Gibbons and Steve Harris  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Microsoft eScience Workshop</em>.
        Indianapolis&#x201a; IN.
        December,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2850-abstract.html">
			Details <span class="sr-only" > about <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span> </a> |
			<a href="/publications/publication2850.bib">
			BibTeX  <span class="sr-only" > data for <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/accelerating.pdf"> Download (pdf)  <span class="sr-only" > of <em> Accelerating Cancer Research Using Semantics&#x2212;Driven Technology  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[55] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Metamodel&#x2212;Based Generation of WSRF&#x2212;Compliant SOA for Collaborative Cancer Research </strong> </p>
	    <p class="publicationAuthors"> <em> Tianyi Zang&#x201a; Radu Calinescu&#x201a; Steve Harris&#x201a; Andrew Tsui&#x201a; Charles Crichton&#x201a; Marta Kwiatkowska&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Carlos Caldas  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IEEE eScience Conference</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2849-abstract.html">
			Details <span class="sr-only" > about <em> Metamodel&#x2212;Based Generation of WSRF&#x2212;Compliant SOA for Collaborative Cancer Research  </em></span> </a> |
			<a href="/publications/publication2849.bib">
			BibTeX  <span class="sr-only" > data for <em> Metamodel&#x2212;Based Generation of WSRF&#x2212;Compliant SOA for Collaborative Cancer Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/eScience.2008.129">
		DOI (10.1109/eScience.2008.129)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[56] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process Semantics for BPMN </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Formal Engineering Methods</em>.
        Kitakyushu&#x201a; Japan.
        September,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication75-abstract.html">
			Details <span class="sr-only" > about <em> A Process Semantics for BPMN  </em></span> </a> |
			<a href="/publications/publication75.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process Semantics for BPMN  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/bpmn-csp.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Process Semantics for BPMN  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[57] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Scala for Generic Programmers </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno Oliveira and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Ralf Hinze, editor,
             
            <em>
            Workshop on Generic Programming</em>.
        Victoria&#x201a; BC.
        September,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication76-abstract.html">
			Details <span class="sr-only" > about <em> Scala for Generic Programmers  </em></span> </a> |
			<a href="/publications/publication76.bib">
			BibTeX  <span class="sr-only" > data for <em> Scala for Generic Programmers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1411318.1411323">
		DOI (10.1145/1411318.1411323)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Scala for Generic Programmers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[58] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Unifying Theories of Locations </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Anthony Smith and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Andrew Butterfield, editor,
             
            <em>
            Unifying Theories of Programming</em>.
        Dublin.
        September,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication77-abstract.html">
			Details <span class="sr-only" > about <em> Unifying Theories of Locations  </em></span> </a> |
			<a href="/publications/publication77.bib">
			BibTeX  <span class="sr-only" > data for <em> Unifying Theories of Locations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-14521-6_10">
		DOI (10.1007/978-3-642-14521-6_10)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/utl.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unifying Theories of Locations  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[59] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research </strong> </p>
	    <p class="publicationAuthors"> <em> Tianyi Zang&#x201a; Radu Calinescu&#x201a; Steve Harris&#x201a; Andrew Tsui&#x201a; Marta Kwiatkowska&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Peter Maccallum and Carlos Caldas  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            8th IEEE International Symposium on Cluster Computing (CCGrid)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1388-abstract.html">
			Details <span class="sr-only" > about <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span> </a> |
			<a href="/publications/publication1388.bib">
			BibTeX  <span class="sr-only" > data for <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/CCGRID.2008.57">
		DOI (10.1109/CCGRID.2008.57)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/wsrfmodeling.pdf"> Download (pdf)  <span class="sr-only" > of <em> WSRF&#x2212;Based Modeling of Clinical Trial Information for Collaborative Cancer Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[60] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Unfolding Abstract Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Mathematics of Program Construction</em>.
        July,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1385-abstract.html">
			Details <span class="sr-only" > about <em> Unfolding Abstract Datatypes  </em></span> </a> |
			<a href="/publications/publication1385.bib">
			BibTeX  <span class="sr-only" > data for <em> Unfolding Abstract Datatypes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-70594-9_8">
		DOI (10.1007/978-3-540-70594-9_8)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/adt.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unfolding Abstract Datatypes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[61] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Verifying Business Process Compatibility </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            8th International Conference on Quality Software (QSIC)</em>.
        2008.
        </p> <p
            class="publicationNote"> Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing&#x201a; Leicester&#x201a; United Kingdom&#x201a; June 2007&#x201a; and 3rd International Workshop on Methods and Tools for Coordinating Concurrent&#x201a; Distributed and Mobile Systems (MTCoord'07)&#x201a; Paphos&#x201a; Cyprus&#x201a; June 2007</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1448-abstract.html">
			Details <span class="sr-only" > about <em> Verifying Business Process Compatibility  </em></span> </a> |
			<a href="/publications/publication1448.bib">
			BibTeX  <span class="sr-only" > data for <em> Verifying Business Process Compatibility  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/compatibility.pdf"> Download (pdf)  <span class="sr-only" > of <em> Verifying Business Process Compatibility  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[62] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Specifying and Visualising Long&#x2212;Running Empirical Studies </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Model Transformations (ICMT)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1393-abstract.html">
			Details <span class="sr-only" > about <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span> </a> |
			<a href="/publications/publication1393.bib">
			BibTeX  <span class="sr-only" > data for <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/longrunning.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Specifying and Visualising Long&#x2212;Running Empirical Studies  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[63] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Visitor Pattern as a Reusable&#x201a; Generic&#x201a; Type&#x2212;Safe Component </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira&#x201a; Meng Wang and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Object&#x2212;Oriented Programming: Systems&#x201a; Languages&#x201a; Applications (OOPSLA)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1398-abstract.html">
			Details <span class="sr-only" > about <em> The Visitor Pattern as a Reusable&#x201a; Generic&#x201a; Type&#x2212;Safe Component  </em></span> </a> |
			<a href="/publications/publication1398.bib">
			BibTeX  <span class="sr-only" > data for <em> The Visitor Pattern as a Reusable&#x201a; Generic&#x201a; Type&#x2212;Safe Component  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1449764.1449799">
		DOI (10.1145/1449764.1449799)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf"> Download (pdf)  <span class="sr-only" > of <em> The Visitor Pattern as a Reusable&#x201a; Generic&#x201a; Type&#x2212;Safe Component  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[64] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 6th International Symposium on Software Composition</em>.
        
            Vol. 4829
                of LNCS.
        March,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2131-abstract.html">
			Details <span class="sr-only" > about <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span> </a> |
			<a href="/publications/publication2131.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-77351-1_5">
		DOI (10.1007/978-3-540-77351-1_5)
		</a> 
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[65] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Semantic Frameworks for e&#x2212;Government </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Steve Harris and Aadya Shukla  </em> </p>
	
	<p class="publicationDetails"> 
            In Theresa Pardo and Tomasz Janowski, editors,
             
            <em>
            First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007</em>.
        
                Pages 30&#x2013;39.
            ACM.
        December,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1025-abstract.html">
			Details <span class="sr-only" > about <em> Semantic Frameworks for e&#x2212;Government  </em></span> </a> |
			<a href="/publications/publication1025.bib">
			BibTeX  <span class="sr-only" > data for <em> Semantic Frameworks for e&#x2212;Government  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1328057.1328066">
		DOI (10.1145/1328057.1328066)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/sf-egov.pdf"> Download (pdf)  <span class="sr-only" > of <em> Semantic Frameworks for e&#x2212;Government  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[66] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Y. H. Wong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Software Composition</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1407-abstract.html">
			Details <span class="sr-only" > about <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span> </a> |
			<a href="/publications/publication1407.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
			
			
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/sc2007.pdf"> Download (pdf)  <span class="sr-only" > of <em> A Process&#x2212;Algebraic Approach to Workflow Specification and Refinement  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[67] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generic and Indexed Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Meng Wang and Bruno Cesar dos Santos Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            In Marco Morazan, editor,
             
            <em>
            Trends in Functional Programming</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1435-abstract.html">
			Details <span class="sr-only" > about <em> Generic and Indexed Programming  </em></span> </a> |
			<a href="/publications/publication1435.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic and Indexed Programming  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf"> Download (pdf)  <span class="sr-only" > of <em> Generic and Indexed Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[68] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Datatype&#x2212;Generic Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse&#x201a; Jeremy Gibbons&#x201a; Ralf Hinze and Johan Jeuring, editors,
             
            <em>
            Spring School on Datatype&#x2212;Generic Programming</em>.
        
            Vol. 4719
                of Lecture Notes in Computer Science.
        Springer&#x2212;Verlag.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1397-abstract.html">
			Details <span class="sr-only" > about <em> Datatype&#x2212;Generic Programming  </em></span> </a> |
			<a href="/publications/publication1397.bib">
			BibTeX  <span class="sr-only" > data for <em> Datatype&#x2212;Generic Programming  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Datatype&#x2212;Generic Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[69] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Unifying Theories of Objects </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Anthony Smith and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Jim Davies and Jeremy Gibbons, editors,
             
            <em>
            Integrated Formal Methods</em>.
        
            Vol. 4591
                of Lecture Notes in Computer Science.
        
                Pages 599&#x2212;618.
            Springer&#x2212;Verlag.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1483-abstract.html">
			Details <span class="sr-only" > about <em> Unifying Theories of Objects  </em></span> </a> |
			<a href="/publications/publication1483.bib">
			BibTeX  <span class="sr-only" > data for <em> Unifying Theories of Objects  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/uto.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unifying Theories of Objects  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[70] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model&#x2212;Driven Architecture for Cancer Research </strong> </p>
	    <p class="publicationAuthors"> <em> Radu Calinescu&#x201a; Steve Harris&#x201a; Jeremy Gibbons&#x201a; Jim Davies&#x201a; Igor Toujilov and Sylvia Nagl  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Software Engineering and Formal Methods</em>.
        
                Pages 59&#x2212;68.
            September,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1379-abstract.html">
			Details <span class="sr-only" > about <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span> </a> |
			<a href="/publications/publication1379.bib">
			BibTeX  <span class="sr-only" > data for <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/SEFM.2007.26">
		DOI (10.1109/SEFM.2007.26)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cgmda.pdf"> Download (pdf)  <span class="sr-only" > of <em> Model&#x2212;Driven Architecture for Cancer Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[71] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Fast and Loose Reasoning is Morally Correct </strong> </p>
	    <p class="publicationAuthors"> <em> Nils Anders Danielsson&#x201a; Jeremy Gibbons&#x201a; John Hughes and Patrik Jansson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Principles of Programming Languages</em>.
        
                Pages 206&#x2212;217.
            January,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1680-abstract.html">
			Details <span class="sr-only" > about <em> Fast and Loose Reasoning is Morally Correct  </em></span> </a> |
			<a href="/publications/publication1680.bib">
			BibTeX  <span class="sr-only" > data for <em> Fast and Loose Reasoning is Morally Correct  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1111037.1111056">
		DOI (10.1145/1111037.1111056)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf"> Download (pdf)  <span class="sr-only" > of <em> Fast and Loose Reasoning is Morally Correct  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[72] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Fission for Program Comprehension </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Tarmo Uustalu, editor,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 4014
                of Lecture Notes in Computer Science.
        
                Pages 162&#x2212;179.
            Springer&#x2212;Verlag.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1470-abstract.html">
			Details <span class="sr-only" > about <em> Fission for Program Comprehension  </em></span> </a> |
			<a href="/publications/publication1470.bib">
			BibTeX  <span class="sr-only" > data for <em> Fission for Program Comprehension  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/11783596_12">
		DOI (10.1007/11783596_12)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fission.pdf"> Download (pdf)  <span class="sr-only" > of <em> Fission for Program Comprehension  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[73] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Ralf Hinze, editor,
             
            <em>
            Workshop on Generic Programming</em>.
        September,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1452-abstract.html">
			Details <span class="sr-only" > about <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a> |
			<a href="/publications/publication1452.bib">
			BibTeX  <span class="sr-only" > data for <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf"> Download (pdf)  <span class="sr-only" > of <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[74] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Essence of the Iterator Pattern </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Bruno C&#xe9;sar dos Santos Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            In Conor McBride and Tarmo Uustalu, editors,
             
            <em>
            Mathematically&#x2212;Structured Functional Programming</em>.
        2006.
        </p> <p
            class="publicationNote"> Superseded by Gibbons&Oliveira2008:Essence</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1417-abstract.html">
			Details <span class="sr-only" > about <em> The Essence of the Iterator Pattern  </em></span> </a> |
			<a href="/publications/publication1417.bib">
			BibTeX  <span class="sr-only" > data for <em> The Essence of the Iterator Pattern  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf"> Download (pdf)  <span class="sr-only" > of <em> The Essence of the Iterator Pattern  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[75] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            European Conference on Object&#x2212;Oriented Programming</em>.
        Glasgow.
        July,
            2005.
        </p> <p
            class="publicationNote"> Later version appears as Gibbons2005:DesignOOPSLA</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1678-abstract.html">
			Details <span class="sr-only" > about <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a> |
			<a href="/publications/publication1678.bib">
			BibTeX  <span class="sr-only" > data for <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
			
			
					| <a href="http://2005.ecoop.org/8.html"> Link <span class="sr-only" > to <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[76] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Object&#x2212;Oriented Programming: Systems&#x201a; Languages&#x201a; Applications</em>.
        San Diego.
        October,
            2005.
        </p> <p
            class="publicationNote"> A revision of Gibbons2005:DesignECOOP</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1669-abstract.html">
			Details <span class="sr-only" > about <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a> |
			<a href="/publications/publication1669.bib">
			BibTeX  <span class="sr-only" > data for <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span>   </a>
			
			
					| <a href="http://www.oopsla.org/2005/ShowEvent.do?id=121"> Link <span class="sr-only" > to <em> Design Patterns as Higher&#x2212;Order Datatype&#x2212;Generic Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[77] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            TypeCase: A Design Pattern for Type&#x2212;Indexed Functions </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C&#xe9;sar dos Santos Oliveira and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Daan Leijen, editor,
             
            <em>
            Haskell Workshop</em>.
        
                Pages 98&#x2212;109.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1665-abstract.html">
			Details <span class="sr-only" > about <em> TypeCase: A Design Pattern for Type&#x2212;Indexed Functions  </em></span> </a> |
			<a href="/publications/publication1665.bib">
			BibTeX  <span class="sr-only" > data for <em> TypeCase: A Design Pattern for Type&#x2212;Indexed Functions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1088348.1088358">
		DOI (10.1145/1088348.1088358)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf"> Download (pdf)  <span class="sr-only" > of <em> TypeCase: A Design Pattern for Type&#x2212;Indexed Functions  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[78] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Streaming Representation&#x2212;Changers </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Dexter Kozen, editor,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 3125
                of Lecture Notes in Computer Science.
        
                Pages 142&#x2212;168.
            July,
            2004.
        </p> <p
            class="publicationNote"> <a href="http://www.springerlink.com/index/LHQ73WU5GU686976">http://www.springerlink.com/index/LHQ73WU5GU686976</a></p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1035-abstract.html">
			Details <span class="sr-only" > about <em> Streaming Representation&#x2212;Changers  </em></span> </a> |
			<a href="/publications/publication1035.bib">
			BibTeX  <span class="sr-only" > data for <em> Streaming Representation&#x2212;Changers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-27764-4_9">
		DOI (10.1007/978-3-540-27764-4_9)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-mpc.pdf"> Download (pdf)  <span class="sr-only" > of <em> Streaming Representation&#x2212;Changers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[79] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson&#x201a; Andrew Martin&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Software Engineering</em>.
        
                Pages 628&#x2212;633.
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2336-abstract.html">
			Details <span class="sr-only" > about <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span> </a> |
			<a href="/publications/publication2336.bib">
			BibTeX  <span class="sr-only" > data for <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/softeng-projects.pdf"> Download (pdf)  <span class="sr-only" > of <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[80] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Arithmetic Coding with Folds and Unfolds </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Johan Jeuring and Simon Peyton Jones, editors,
             
            <em>
            Advanced Functional Programming 4</em>.
        
            Vol. 2638
                of Lecture Notes in Computer Science.
        
                Pages 1&#x2212;26.
            Springer&#x2212;Verlag.
        2003.
        </p> <p
            class="publicationNote"> Code available at <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip">http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip</a></p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2333-abstract.html">
			Details <span class="sr-only" > about <em> Arithmetic Coding with Folds and Unfolds  </em></span> </a> |
			<a href="/publications/publication2333.bib">
			BibTeX  <span class="sr-only" > data for <em> Arithmetic Coding with Folds and Unfolds  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-44833-4_1">
		DOI (10.1007/978-3-540-44833-4_1)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.pdf"> Download (pdf)  <span class="sr-only" > of <em> Arithmetic Coding with Folds and Unfolds  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[81] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Patterns in Datatype&#x2212;Generic Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In J&#xf6;rg Striegnitz and Kei Davis, editors,
             
            <em>
            Multiparadigm Programming</em>.
        
            Vol. 27.
        
                Pages 277&#x2212;289.
            John von Neumann Institute for Computing (NIC).
        2003.
        </p> <p
            class="publicationNote"> First International Workshop on Declarative Programming in the Context of Object&#x2212;Oriented Languages (DPCOOL)</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1857-abstract.html">
			Details <span class="sr-only" > about <em> Patterns in Datatype&#x2212;Generic Programming  </em></span> </a> |
			<a href="/publications/publication1857.bib">
			BibTeX  <span class="sr-only" > data for <em> Patterns in Datatype&#x2212;Generic Programming  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/patterns.pdf"> Download (pdf)  <span class="sr-only" > of <em> Patterns in Datatype&#x2212;Generic Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[82] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Colimit&#x2212;Based Semantics for Visual Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Coordination Models and Languages</em>.
        
            Vol. 2315
                of Lecture Notes in Computer Science.
        
                Pages 166&#x2013;173.
            April,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2357-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Colimit&#x2212;Based Semantics for Visual Programming  </em></span> </a> |
			<a href="/publications/publication2357.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Colimit&#x2212;Based Semantics for Visual Programming  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/superposition-extended.pdf"> Download (pdf)  <span class="sr-only" > of <em> Towards a Colimit&#x2212;Based Semantics for Visual Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[83] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Program Optimisation&#x201a; Naturally </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird&#x201a; Jeremy Gibbons and Geraint Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In J. W. Davies&#x201a; A. W. Roscoe and J. C. P. Woodcock, editors,
             
            <em>
            Millenial Perspectives in Computer Science</em>.
        Palgrave.
        2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2353-abstract.html">
			Details <span class="sr-only" > about <em> Program Optimisation&#x201a; Naturally  </em></span> </a> |
			<a href="/publications/publication2353.bib">
			BibTeX  <span class="sr-only" > data for <em> Program Optimisation&#x201a; Naturally  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/naturally.ps.gz"> Link <span class="sr-only" > to <em> Program Optimisation&#x201a; Naturally  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[84] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pointwise Relational Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Oege de Moor and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Algebraic Methodology and Software Technology</em>.
        
            Vol. 1816
                of Lecture Notes in Computer Science.
        
                Pages 371&#x2013;390.
            May,
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2356-abstract.html">
			Details <span class="sr-only" > about <em> Pointwise Relational Programming  </em></span> </a> |
			<a href="/publications/publication2356.bib">
			BibTeX  <span class="sr-only" > data for <em> Pointwise Relational Programming  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/pointwise.ps.gz"> Link <span class="sr-only" > to <em> Pointwise Relational Programming  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[85] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Proof Methods for Structured Corecursive Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Graham Hutton  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 1st Scottish Workshop on Functional Programming</em>.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2352-abstract.html">
			Details <span class="sr-only" > about <em> Proof Methods for Structured Corecursive Programs  </em></span> </a> |
			<a href="/publications/publication2352.bib">
			BibTeX  <span class="sr-only" > data for <em> Proof Methods for Structured Corecursive Programs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[86] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Downwards Accumulations </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Johan Jeuring, editor,
             
            <em>
            Proceedings of Mathematics of Program Construction</em>.
        
            Vol. 1422
                of Lecture Notes in Computer Science.
        
                Pages 207&#x2212;233.
            Marstrand&#x201a; Sweden.
        June,
            1998.
        Springer&#x2212;Verlag.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2349-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Downwards Accumulations  </em></span> </a> |
			<a href="/publications/publication2349.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Downwards Accumulations  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/polyda.ps.gz"> Link <span class="sr-only" > to <em> Polytypic Downwards Accumulations  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[87] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Under&#x2212;Appreciated Unfold </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Geraint Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Functional Programming</em>.
        
                Pages 273&#x2013;279.
            Baltimore&#x201a; Maryland.
        September,
            1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2351-abstract.html">
			Details <span class="sr-only" > about <em> The Under&#x2212;Appreciated Unfold  </em></span> </a> |
			<a href="/publications/publication2351.bib">
			BibTeX  <span class="sr-only" > data for <em> The Under&#x2212;Appreciated Unfold  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/unfold.ps.gz"> Link <span class="sr-only" > to <em> The Under&#x2212;Appreciated Unfold  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[88] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Calculating Functional Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Keiichi Nakata, editor,
             
            <em>
            Proceedings of ISRG/SERG Research Colloquium</em>.
        School of Computing and Mathematical Sciences&#x201a; Oxford Brookes University.
        November,
            1997.
        </p> <p
            class="publicationNote"> Technical Report CMS&#x2212;TR&#x2212;98&#x2212;01</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2348-abstract.html">
			Details <span class="sr-only" > about <em> Calculating Functional Programs  </em></span> </a> |
			<a href="/publications/publication2348.bib">
			BibTeX  <span class="sr-only" > data for <em> Calculating Functional Programs  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/calculating.ps.gz"> Link <span class="sr-only" > to <em> Calculating Functional Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[89] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tracing Lazy Functional Languages </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Keith Wansbrough  </em> </p>
	
	<p class="publicationDetails"> 
            In Michael E. Houle and Peter Eades, editors,
             
            <em>
            Computing: The Australasian Theory Seminar</em>.
        
                Pages 11&#x2013;20.
            Melbourne.
        January,
            1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2343-abstract.html">
			Details <span class="sr-only" > about <em> Tracing Lazy Functional Languages  </em></span> </a> |
			<a href="/publications/publication2343.bib">
			BibTeX  <span class="sr-only" > data for <em> Tracing Lazy Functional Languages  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/tracing.ps.gz"> Link <span class="sr-only" > to <em> Tracing Lazy Functional Languages  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[90] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Initial&#x2212;Algebra Approach to Directed Acyclic Graphs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Bernhard M&#xf6;ller, editor,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 947
                of Lecture Notes in Computer Science.
        
                Pages 282&#x2013;303.
            Springer&#x2212;Verlag.
        1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2341-abstract.html">
			Details <span class="sr-only" > about <em> An Initial&#x2212;Algebra Approach to Directed Acyclic Graphs  </em></span> </a> |
			<a href="/publications/publication2341.bib">
			BibTeX  <span class="sr-only" > data for <em> An Initial&#x2212;Algebra Approach to Directed Acyclic Graphs  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/damgs.ps.gz"> Link <span class="sr-only" > to <em> An Initial&#x2212;Algebra Approach to Directed Acyclic Graphs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[91] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Dotted and Dashed Lines in Metafont </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Robin Fairbairns, editor,
             
            <em>
            Proceedings of the 1995 Annual Meeting</em>.
         Users' Group.
        1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2372-abstract.html">
			Details <span class="sr-only" > about <em> Dotted and Dashed Lines in Metafont  </em></span> </a> |
			<a href="/publications/publication2372.bib">
			BibTeX  <span class="sr-only" > data for <em> Dotted and Dashed Lines in Metafont  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/dashed.ps.gz"> Link <span class="sr-only" > to <em> Dotted and Dashed Lines in Metafont  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[92] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            How to Derive Tidy Drawings of Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In C. Calude&#x201a; M. J. J. Lennon and H. Maurer, editors,
             
            <em>
            Proceedings of Salodays in Auckland</em>.
        
                Pages 53&#x2013;73.
            Department of Computer Science&#x201a; University of Auckland.
        1994.
        </p> <p
            class="publicationNote"> Also in Proceedings of First New Zealand Formal Program Development Colloquium&#x201a;  105&#x2013;126p&#x2025;</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2332-abstract.html">
			Details <span class="sr-only" > about <em> How to Derive Tidy Drawings of Trees  </em></span> </a> |
			<a href="/publications/publication2332.bib">
			BibTeX  <span class="sr-only" > data for <em> How to Derive Tidy Drawings of Trees  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-drawing.ps.gz"> Link <span class="sr-only" > to <em> How to Derive Tidy Drawings of Trees  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[93] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Introduction to the Bird&#x2212;Meertens Formalism </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Steve Reeves, editor,
             
            <em>
            Proceedings of the First New Zealand Formal Program Development Colloquium</em>.
        
                Pages 1&#x2013;12.
            Hamilton.
        November,
            1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2330-abstract.html">
			Details <span class="sr-only" > about <em> An Introduction to the Bird&#x2212;Meertens Formalism  </em></span> </a> |
			<a href="/publications/publication2330.bib">
			BibTeX  <span class="sr-only" > data for <em> An Introduction to the Bird&#x2212;Meertens Formalism  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-squiggol.ps.gz"> Link <span class="sr-only" > to <em> An Introduction to the Bird&#x2212;Meertens Formalism  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[94] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Upwards and Downwards Accumulations on Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In R.&#xa0;S. Bird&#x201a; C.&#xa0;C. Morgan and J.&#xa0;C.&#xa0;P. Woodcock, editors,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 669
                of Lecture Notes in Computer Science.
        
                Pages 122&#x2013;138.
            Springer&#x2212;Verlag.
        1993.
        </p> <p
            class="publicationNote"> A revised version appears in the Proceedings of the Massey Functional Programming Workshop&#x201a; 1992</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2367-abstract.html">
			Details <span class="sr-only" > about <em> Upwards and Downwards Accumulations on Trees  </em></span> </a> |
			<a href="/publications/publication2367.bib">
			BibTeX  <span class="sr-only" > data for <em> Upwards and Downwards Accumulations on Trees  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/accumulations.ps.gz"> Link <span class="sr-only" > to <em> Upwards and Downwards Accumulations on Trees  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[95] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating&#x2212;Point Unit </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In John Hosking, editor,
             
            <em>
            Proceedings of the 13th New Zealand Computer Society Conference</em>.
        
                Pages 207&#x2013;217.
            1993.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2370-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating&#x2212;Point Unit  </em></span> </a> |
			<a href="/publications/publication2370.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating&#x2212;Point Unit  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/formal.ps.gz"> Link <span class="sr-only" > to <em> Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating&#x2212;Point Unit  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[96] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Computing Downwards Accumulations on Trees Quickly </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In Gopal Gupta&#x201a; George Mohay and Rodney Topor, editors,
             
            <em>
            16th Australian Computer Science Conference</em>.
        
                Pages 685&#x2013;691.
            Brisbane.
        February,
            1993.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2340-abstract.html">
			Details <span class="sr-only" > about <em> Computing Downwards Accumulations on Trees Quickly  </em></span> </a> |
			<a href="/publications/publication2340.bib">
			BibTeX  <span class="sr-only" > data for <em> Computing Downwards Accumulations on Trees Quickly  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Technical reports
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Programming Language Support for Emerging Memory Technologies </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons&#x201a; Oleg Kiselyov and Peter Braam  </em> </p>
	
	<p class="publicationDetails"> 
            No. 181.
        May,
            2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16452-abstract.html">
			Details <span class="sr-only" > about <em> Programming Language Support for Emerging Memory Technologies  </em></span> </a> |
			<a href="/publications/publication16452.bib">
			BibTeX  <span class="sr-only" > data for <em> Programming Language Support for Emerging Memory Technologies  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/14802/shonan-181.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Programming Language Support for Emerging Memory Technologies  </em></span>

					    </a>


				    
					| <a href="https://shonan.nii.ac.jp/docs/No.181.pdf"> Download (pdf)  <span class="sr-only" > of <em> Programming Language Support for Emerging Memory Technologies  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Profunctor Optics&#x201a; a Categorical Update </strong> </p>
	    <p class="publicationAuthors"> <em> Bryce Clarke&#x201a; Derek Elkins&#x201a; Jeremy Gibbons&#x201a; Fosco Loregian&#x201a; Bartosz Milewski&#x201a; Emily Pillmore and Mario Rom&#xe1;n  </em> </p>
	
	<p class="publicationDetails"> 
            No. 1.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13794-abstract.html">
			Details <span class="sr-only" > about <em> Profunctor Optics&#x201a; a Categorical Update  </em></span> </a> |
			<a href="/publications/publication13794.bib">
			BibTeX  <span class="sr-only" > data for <em> Profunctor Optics&#x201a; a Categorical Update  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.32408/compositionality-6-1">
		DOI (10.32408/compositionality-6-1)
		</a> 
					| <a href="https://compositionality-journal.org/papers/compositionality-6-1/"> Link <span class="sr-only" > to <em> Profunctor Optics&#x201a; a Categorical Update  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Effect Handlers and General Purpose Languages </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Brachth&#xe4;user&#x201a; Youyou Cong and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            No. 203.
        September,
            2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16004-abstract.html">
			Details <span class="sr-only" > about <em> Effect Handlers and General Purpose Languages  </em></span> </a> |
			<a href="/publications/publication16004.bib">
			BibTeX  <span class="sr-only" > data for <em> Effect Handlers and General Purpose Languages  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/14803/shonan-203.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Effect Handlers and General Purpose Languages  </em></span>

					    </a>


				    
					| <a href="https://shonan.nii.ac.jp/docs/45cd7cce906ae1b8b28a2c741c8fa3343856bb4d.pdf"> Download (pdf)  <span class="sr-only" > of <em> Effect Handlers and General Purpose Languages  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            ATI Symposium on Reproducibility for Data&#x2212;Intensive Research </strong> </p>
	    <p class="publicationAuthors"> <em> Richard O&#x2019;Beirne Lucie C. Burgess David Crotty David de Roure Jeremy Gibbons Carole Goble Paolo Missier Richard Mortier Thomas E. Nichols  </em> </p>
	
	<p class="publicationDetails"> July,
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10573-abstract.html">
			Details <span class="sr-only" > about <em> ATI Symposium on Reproducibility for Data&#x2212;Intensive Research  </em></span> </a> |
			<a href="/publications/publication10573.bib">
			BibTeX  <span class="sr-only" > data for <em> ATI Symposium on Reproducibility for Data&#x2212;Intensive Research  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ati-reproducibility.pdf"> Download (pdf)  <span class="sr-only" > of <em> ATI Symposium on Reproducibility for Data&#x2212;Intensive Research  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Conditionals in Distributive Categories </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            No. CMS&#x2212;TR&#x2212;97&#x2212;01.
        School of Computing and Mathematical Sciences&#x201a; Oxford Brookes University.
        January,
            1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2344-abstract.html">
			Details <span class="sr-only" > about <em> Conditionals in Distributive Categories  </em></span> </a> |
			<a href="/publications/publication2344.bib">
			BibTeX  <span class="sr-only" > data for <em> Conditionals in Distributive Categories  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/conditionals.ps.gz"> Link <span class="sr-only" > to <em> Conditionals in Distributive Categories  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            More on Merging and Selection </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            No. CMS&#x2212;TR&#x2212;97&#x2212;08.
        School of Computing and Mathematical Sciences&#x201a; Oxford Brookes University.
        October,
            1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2364-abstract.html">
			Details <span class="sr-only" > about <em> More on Merging and Selection  </em></span> </a> |
			<a href="/publications/publication2364.bib">
			BibTeX  <span class="sr-only" > data for <em> More on Merging and Selection  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/merging.ps.gz"> Link <span class="sr-only" > to <em> More on Merging and Selection  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Linear&#x2212;time Breadth&#x2212;first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips </strong> </p>
	    <p class="publicationAuthors"> <em> Geraint Jones and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            No.  7No.1.
        Dept of Computer Science&#x201a; University of Auckland.
        May,
            1993.
        </p> <p
            class="publicationNote"> Also IFIP Working Group 2.1 working paper 705&#xa0;WIN&#x2212;2</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2363-abstract.html">
			Details <span class="sr-only" > about <em> Linear&#x2212;time Breadth&#x2212;first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips  </em></span> </a> |
			<a href="/publications/publication2363.bib">
			BibTeX  <span class="sr-only" > data for <em> Linear&#x2212;time Breadth&#x2212;first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/linear.ps.gz"> Link <span class="sr-only" > to <em> Linear&#x2212;time Breadth&#x2212;first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Theses
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Cost semantics for heterogeneous parallel functional languages </strong> </p>
	    <p class="publicationAuthors"> <em> Tim Zakian  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis  ,
                type= DPhil thesis.
        2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14407-abstract.html">
			Details <span class="sr-only" > about <em> Cost semantics for heterogeneous parallel functional languages  </em></span> </a> |
			<a href="/publications/publication14407.bib">
			BibTeX  <span class="sr-only" > data for <em> Cost semantics for heterogeneous parallel functional languages  </em></span>   </a>
			
			
					| <a href="https://ora.ox.ac.uk/objects/uuid:9f973626-8981-4329-ab38-76ba2efe301f"> Link <span class="sr-only" > to <em> Cost semantics for heterogeneous parallel functional languages  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Distributive Interaction of Algebraic Effects </strong> </p>
	    <p class="publicationAuthors"> <em> Kwok&#x2212;Ho Cheung  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis 2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12202-abstract.html">
			Details <span class="sr-only" > about <em> Distributive Interaction of Algebraic Effects  </em></span> </a> |
			<a href="/publications/publication12202.bib">
			BibTeX  <span class="sr-only" > data for <em> Distributive Interaction of Algebraic Effects  </em></span>   </a>
			
			
					| <a href="https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818"> Link <span class="sr-only" > to <em> Distributive Interaction of Algebraic Effects  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Completely iterative monads in semantics of coinductive programs </strong> </p>
	    <p class="publicationAuthors"> <em> Maciej Adam Pirog  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis  ,
                type= DPhil thesis.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14408-abstract.html">
			Details <span class="sr-only" > about <em> Completely iterative monads in semantics of coinductive programs  </em></span> </a> |
			<a href="/publications/publication14408.bib">
			BibTeX  <span class="sr-only" > data for <em> Completely iterative monads in semantics of coinductive programs  </em></span>   </a>
			
			
					| <a href="https://ora.ox.ac.uk/objects/uuid:9957b2f8-b08c-40fd-9bf1-b815b9abd25a"> Link <span class="sr-only" > to <em> Completely iterative monads in semantics of coinductive programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysis and synthesis of inductive families </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis University of Oxford.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8927-abstract.html">
			Details <span class="sr-only" > about <em> Analysis and synthesis of inductive families  </em></span> </a> |
			<a href="/publications/publication8927.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysis and synthesis of inductive families  </em></span>   </a>
			
			
					| <a href="https://github.com/josh-hs-ko/dissertation/raw/master/dissertation.pdf"> Download (pdf)  <span class="sr-only" > of <em> Analysis and synthesis of inductive families  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Algebras for Tree Algorithms </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis  ,
                type= D.Phil. thesis.
        Programming Research Group&#x201a; Oxford University.
        1991.
        </p> <p
            class="publicationNote"> Available as Technical Monograph PRG&#x2212;94. ISBN 0&#x2212;902928&#x2212;72&#x2212;4</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2369-abstract.html">
			Details <span class="sr-only" > about <em> Algebras for Tree Algorithms  </em></span> </a> |
			<a href="/publications/publication2369.bib">
			BibTeX  <span class="sr-only" > data for <em> Algebras for Tree Algorithms  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/files/3422/PRG94.pdf"> Download (pdf)  <span class="sr-only" > of <em> Algebras for Tree Algorithms  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A New View of Binary Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails">  Master's Thesis  ,
                type= Transferral dissertation.
        Programming Research Group&#x201a; Oxford University.
        1988.
        </p> <p
            class="publicationNote"> Abstract appears in the Bulletin of the EATCS&#x201a; number&#xa0;39&#x201a; p.&#xa0;214.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2339-abstract.html">
			Details <span class="sr-only" > about <em> A New View of Binary Trees  </em></span> </a> |
			<a href="/publications/publication2339.bib">
			BibTeX  <span class="sr-only" > data for <em> A New View of Binary Trees  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Binomial Tabulation: A Short Story </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko&#x201a; Shin&#x2212;Cheng Mu and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> February,
            2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16367-abstract.html">
			Details <span class="sr-only" > about <em> Binomial Tabulation: A Short Story  </em></span> </a> |
			<a href="/publications/publication16367.bib">
			BibTeX  <span class="sr-only" > data for <em> Binomial Tabulation: A Short Story  </em></span>   </a>
			
			
					| <a href="https://josh-hs-ko.github.io/manuscripts/BT.pdf"> Download (pdf)  <span class="sr-only" > of <em> Binomial Tabulation: A Short Story  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            CancerGrid: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> January,
            2022.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14798-abstract.html">
			Details <span class="sr-only" > about <em> CancerGrid: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span> </a> |
			<a href="/publications/publication14798.bib">
			BibTeX  <span class="sr-only" > data for <em> CancerGrid: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
			
			
					| <a href="https://mde-network.com/wp-content/uploads/2022/01/Jeremy-Gibbons-CancerGrid-Success-Story-1.pdf"> Download (pdf)  <span class="sr-only" > of <em> CancerGrid: Metadata&#x2212;Based Model&#x2212;Driven Engineering for Clinical Trials  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Journal of Functional Programming moving to Open Access </strong> </p>
	    <p class="publicationAuthors"> <em> Shriram Krishnamurthi and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> November,
            2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14709-abstract.html">
			Details <span class="sr-only" > about <em> Journal of Functional Programming moving to Open Access  </em></span> </a> |
			<a href="/publications/publication14709.bib">
			BibTeX  <span class="sr-only" > data for <em> Journal of Functional Programming moving to Open Access  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796821000265">
		DOI (10.1017/S0956796821000265)
		</a> 
					| <a href="https://www.cambridge.org/core/blog/2021/11/11/journal-of-functional-programming-moving-to-open-access/"> Link <span class="sr-only" > to <em> Journal of Functional Programming moving to Open Access  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Functional Algorithm Design </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> November,
            2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14708-abstract.html">
			Details <span class="sr-only" > about <em> Functional Algorithm Design  </em></span> </a> |
			<a href="/publications/publication14708.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Algorithm Design  </em></span>   </a>
			
			
					| <a href="https://blog.sigplan.org/2020/11/17/functional-algorithm-design-part-0/"> Link <span class="sr-only" > to <em> Functional Algorithm Design  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            How to Design Co&#x2212;Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> October,
            2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14707-abstract.html">
			Details <span class="sr-only" > about <em> How to Design Co&#x2212;Programs  </em></span> </a> |
			<a href="/publications/publication14707.bib">
			BibTeX  <span class="sr-only" > data for <em> How to Design Co&#x2212;Programs  </em></span>   </a>
			
			
					| <a href="https://blog.sigplan.org/2019/10/14/how-to-design-co-programs/"> Link <span class="sr-only" > to <em> How to Design Co&#x2212;Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            S Stands for Shock: The European funders&#x2019; proposal for Open Access </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> July,
            2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14706-abstract.html">
			Details <span class="sr-only" > about <em> S Stands for Shock: The European funders&#x2019; proposal for Open Access  </em></span> </a> |
			<a href="/publications/publication14706.bib">
			BibTeX  <span class="sr-only" > data for <em> S Stands for Shock: The European funders&#x2019; proposal for Open Access  </em></span>   </a>
			
			
					| <a href="https://blog.sigplan.org/2019/07/03/s-stands-for-shock-the-european-funders-proposal-for-open-access/"> Link <span class="sr-only" > to <em> S Stands for Shock: The European funders&#x2019; proposal for Open Access  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categories for the Working Haskeller </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> September,
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9022-abstract.html">
			Details <span class="sr-only" > about <em> Categories for the Working Haskeller  </em></span> </a> |
			<a href="/publications/publication9022.bib">
			BibTeX  <span class="sr-only" > data for <em> Categories for the Working Haskeller  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/jeremy.gibbons/publications/cwh-slides.pdf"> Download (pdf)  <span class="sr-only" > of <em> Categories for the Working Haskeller  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categorical organisation of the ornament&#x2013;refinement framework </strong> </p>
	    <p class="publicationAuthors"> <em> Hsiang&#x2212;Shang Ko and Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> Submitted to POPL'14.
        July,
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6978-abstract.html">
			Details <span class="sr-only" > about <em> Categorical organisation of the ornament&#x2013;refinement framework  </em></span> </a> |
			<a href="/publications/publication6978.bib">
			BibTeX  <span class="sr-only" > data for <em> Categorical organisation of the ornament&#x2013;refinement framework  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn-categorical/pcOrn-categorical.pdf"> Download (pdf)  <span class="sr-only" > of <em> Categorical organisation of the ornament&#x2013;refinement framework  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Machine Learning and Software Engineering in Health Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> David A. Clifton&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Lionel Tarassenko  </em> </p>
	
	<p class="publicationDetails"> May,
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5931-abstract.html">
			Details <span class="sr-only" > about <em> Machine Learning and Software Engineering in Health Informatics  </em></span> </a> |
			<a href="/publications/publication5931.bib">
			BibTeX  <span class="sr-only" > data for <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/RAISE.2012.6227968">
		DOI (10.1109/RAISE.2012.6227968)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ml-se-hi.pdf"> Download (pdf)  <span class="sr-only" > of <em> Machine Learning and Software Engineering in Health Informatics  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Be Kind&#x201a; Rewind: A Modest Proposal about Traversal </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Richard Bird  </em> </p>
	
	<p class="publicationDetails"> May,
            2012.
        </p> <p
            class="publicationNote"> Submitted for publication (but rejected)</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4876-abstract.html">
			Details <span class="sr-only" > about <em> Be Kind&#x201a; Rewind: A Modest Proposal about Traversal  </em></span> </a> |
			<a href="/publications/publication4876.bib">
			BibTeX  <span class="sr-only" > data for <em> Be Kind&#x201a; Rewind: A Modest Proposal about Traversal  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf"> Download (pdf)  <span class="sr-only" > of <em> Be Kind&#x201a; Rewind: A Modest Proposal about Traversal  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deep Zoom and Touch Screen for Tissue Microarray Image Scoring </strong> </p>
	    <p class="publicationAuthors"> <em> Charles Crichton&#x201a; Jim Davies&#x201a; Jeremy Gibbons&#x201a; Andrew Tsui&#x201a; James Brenton&#x201a; Carlos Caldas and Lorna Morris  </em> </p>
	
	<p class="publicationDetails"> Poster at Microsoft External Research Symposium.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3552-abstract.html">
			Details <span class="sr-only" > about <em> Deep Zoom and Touch Screen for Tissue Microarray Image Scoring  </em></span> </a> |
			<a href="/publications/publication3552.bib">
			BibTeX  <span class="sr-only" > data for <em> Deep Zoom and Touch Screen for Tissue Microarray Image Scoring  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Report on Fourth Workshop on Commercial Users of Functional Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> December,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication73-abstract.html">
			Details <span class="sr-only" > about <em> Report on Fourth Workshop on Commercial Users of Functional Programming  </em></span> </a> |
			<a href="/publications/publication73.bib">
			BibTeX  <span class="sr-only" > data for <em> Report on Fourth Workshop on Commercial Users of Functional Programming  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/cufp2007.pdf"> Download (pdf)  <span class="sr-only" > of <em> Report on Fourth Workshop on Commercial Users of Functional Programming  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> March,
            1999.
        </p> <p
            class="publicationNote"> Estonian Winter School on Computer Science</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2350-abstract.html">
			Details <span class="sr-only" > about <em> Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs  </em></span> </a> |
			<a href="/publications/publication2350.bib">
			BibTeX  <span class="sr-only" > data for <em> Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Against the Grain: Linear&#x2212;Time Breadth&#x2212;First Tree Algorithms </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons and Geraint Jones  </em> </p>
	
	<p class="publicationDetails"> 1998.
        </p> <p
            class="publicationNote"> Oxford Brookes University and Oxford University Computing Laboratory</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2346-abstract.html">
			Details <span class="sr-only" > about <em> Against the Grain: Linear&#x2212;Time Breadth&#x2212;First Tree Algorithms  </em></span> </a> |
			<a href="/publications/publication2346.bib">
			BibTeX  <span class="sr-only" > data for <em> Against the Grain: Linear&#x2212;Time Breadth&#x2212;First Tree Algorithms  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]