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

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

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


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

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

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

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/pl/">Programming Languages</a></li><li><a href="/research/pl/projects.html">projects</a></li><li><a href="/projects/utgp/">Unifying Theories of Generic Programming</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Unifying Theories of Generic Programming: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/utgp.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/projects/publications/title/utgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/utgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/utgp.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><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>
            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">
				[2] 
			</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">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Effect Handlers in Scope </strong> </p>
	    <p class="publicationAuthors"> <em> Nicolas Wu&#x201a; Tom Schrijvers and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2014 Haskell Symposium</em>.
        New York&#x201a; NY&#x201a; USA.
        2014.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8765-abstract.html">
			Details <span class="sr-only" > about <em> Effect Handlers in Scope  </em></span> </a> |
			<a href="/publications/publication8765.bib">
			BibTeX  <span class="sr-only" > data for <em> Effect Handlers in Scope  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf"> Download (pdf)  <span class="sr-only" > of <em> Effect Handlers in Scope  </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>
            Heuristics entwined with handlers combined </strong> </p>
	    <p class="publicationAuthors"> <em> Tom Schrijvers&#x201a; Nicolas Wu&#x201a; Benoit Desouter and Bart Demoen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming</em>.
        
                Pages 12.
            Association for Computing Machinery (ACM).
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9048-abstract.html">
			Details <span class="sr-only" > about <em> Heuristics entwined with handlers combined  </em></span> </a> |
			<a href="/publications/publication9048.bib">
			BibTeX  <span class="sr-only" > data for <em> Heuristics entwined with handlers combined  </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>
            Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited </strong> </p>
	    <p class="publicationAuthors"> <em> Jurriaan Hage [editor]&#x201a; Atze Dijkstra [editor]&#x201a; Ralf Hinze and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> Liber amicorum voor Doaitse Swierstra.
        May,
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8044-abstract.html">
			Details <span class="sr-only" > about <em> Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited  </em></span> </a> |
			<a href="/publications/publication8044.bib">
			BibTeX  <span class="sr-only" > data for <em> Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited  </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>
            Adjoint folds and unfolds&#x2014;An extended study </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 78.
        
            No. 11.
        
                Pages 2108&#x2212;2159.
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7963-abstract.html">
			Details <span class="sr-only" > about <em> Adjoint folds and unfolds&#x2014;An extended study  </em></span> </a> |
			<a href="/publications/publication7963.bib">
			BibTeX  <span class="sr-only" > data for <em> Adjoint folds and unfolds&#x2014;An extended study  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2012.07.011">
		DOI (10.1016/j.scico.2012.07.011)
		</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>
            Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries </strong> </p>
	    <p class="publicationAuthors"> <em> Fritz Henglein and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Chung&#x2212;chieh Shan, editor,
             
            <em>
            Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013)</em>.
        
            Vol. 8301
                of Lecture Notes in Computer Science.
        
                Pages 315&#x2212;332.
            Springer International Publishing.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8035-abstract.html">
			Details <span class="sr-only" > about <em> Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries  </em></span> </a> |
			<a href="/publications/publication8035.bib">
			BibTeX  <span class="sr-only" > data for <em> Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-03542-0_23">
		DOI (10.1007/978-3-319-03542-0_23)
		</a> 
					| <a href="http://dx.doi.org/10.1007/978-3-319-03542-0_23"> Link <span class="sr-only" > to <em> Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries  </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>
            Histo&#x2212; and Dynamorphisms Revisited </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In Jacques Carette and Jeremiah Willcock, editors,
             
            <em>
            Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming</em>.
        
                Pages 1&#x2013;12.
            New York&#x201a; NY&#x201a; USA.
        2013.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8036-abstract.html">
			Details <span class="sr-only" > about <em> Histo&#x2212; and Dynamorphisms Revisited  </em></span> </a> |
			<a href="/publications/publication8036.bib">
			BibTeX  <span class="sr-only" > data for <em> Histo&#x2212; and Dynamorphisms Revisited  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2502488.2502496">
		DOI (10.1145/2502488.2502496)
		</a> 
					| <a href="http://doi.acm.org/10.1145/2502488.2502496"> Link <span class="sr-only" > to <em> Histo&#x2212; and Dynamorphisms Revisited  </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>
            Pure and Lazy Lambda Mining: An Experience Report </strong> </p>
	    <p class="publicationAuthors"> <em> Nicolas Wu&#x201a; Jos&#xe9; Pedro Magalh&#xe3;es&#x201a; Jeroen Bransen and Wouter Swierstra  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)</em>.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6597-abstract.html">
			Details <span class="sr-only" > about <em> Pure and Lazy Lambda Mining: An Experience Report  </em></span> </a> |
			<a href="/publications/publication6597.bib">
			BibTeX  <span class="sr-only" > data for <em> Pure and Lazy Lambda Mining: An Experience Report  </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>
            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">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Duality of Sorts </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Jos&#xe9; Pedro Magalh&#xe3;es and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In Peter Achten and Pieter Koopman, editors,
             
            <em>
            The Beauty of Functional Code</em>.
        
            Vol. 8106
                of Lecture Notes in Computer Science.
        
                Pages 151&#x2212;167.
            Springer Berlin Heidelberg.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8033-abstract.html">
			Details <span class="sr-only" > about <em> A Duality of Sorts  </em></span> </a> |
			<a href="/publications/publication8033.bib">
			BibTeX  <span class="sr-only" > data for <em> A Duality of Sorts  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-40355-2_11">
		DOI (10.1007/978-3-642-40355-2_11)
		</a> 
					| <a href="http://dx.doi.org/10.1007/978-3-642-40355-2_11"> Link <span class="sr-only" > to <em> A Duality of Sorts  </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>
            Sorting with Bialgebras and Distributive Laws </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Daniel W.H. James&#x201a; Thomas Harper&#x201a; Nicolas Wu and Jos&#xe9; Pedro Magalh&#xe3;es  </em> </p>
	
	<p class="publicationDetails"> May,
            2012.
        </p> <p
            class="publicationNote"> Accepted to WGP '12</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6087-abstract.html">
			Details <span class="sr-only" > about <em> Sorting with Bialgebras and Distributive Laws  </em></span> </a> |
			<a href="/publications/publication6087.bib">
			BibTeX  <span class="sr-only" > data for <em> Sorting with Bialgebras and Distributive Laws  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/daniel.james/sorting.html"> Link <span class="sr-only" > to <em> Sorting with Bialgebras and Distributive Laws  </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>
            Towards a categorical foundation for generic programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Nicolas Wu  </em> </p>
	
	<p class="publicationDetails"> 
            In Jaakko J&#xe4;rvi and Shin&#x2212;Cheng Mu, editors,
             
            <em>
            Proceedings of the seventh ACM SIGPLAN workshop on Generic programming</em>.
        
                Pages 47&#x2212;58.
            New York&#x201a; NY&#x201a; USA.
        2011.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5065-abstract.html">
			Details <span class="sr-only" > about <em> Towards a categorical foundation for generic programming  </em></span> </a> |
			<a href="/publications/publication5065.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a categorical foundation for generic programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2036918.2036926">
		DOI (10.1145/2036918.2036926)
		</a> 
					| <a href="http://doi.acm.org/10.1145/2036918.2036926"> Link <span class="sr-only" > to <em> Towards a categorical foundation for generic programming  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]