[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by date, Ralf Hinze"></meta><meta name="description" content="Publications, by date, Department of Computer Science, Oxford, Ralf Hinze"></meta><title>Department of Computer Science, University of Oxford: Ralf Hinze : 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/Ralf.Hinze"><span itemprop="name">Ralf Hinze</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>Ralf Hinze : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Ralf.Hinze.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Ralf.Hinze.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/Ralf.Hinze.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Ralf.Hinze.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><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>
            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">
				[2] 
			</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">
				[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>
            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">
				[5] 
			</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">
				[6] 
			</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">
				[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>
            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">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Implementation and Application of Functional Languages </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze, editor  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8041-abstract.html">
			Details <span class="sr-only" > about <em> Implementation and Application of Functional Languages  </em></span> </a> |
			<a href="/publications/publication8041.bib">
			BibTeX  <span class="sr-only" > data for <em> Implementation and Application of Functional Languages  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-41582-1">
		DOI (10.1007/978-3-642-41582-1)
		</a> 
					| <a href="http://www.springeronline.com/978-3-642-41581-4"> Link <span class="sr-only" > to <em> Implementation and Application of Functional Languages  </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>
            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">
				[11] 
			</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">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Kan Extensions for Program Optimisation&#x2014;<em>Or:</em> Art and Dan Explain an Old Trick </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Jeremy Gibbons and Pablo Nogueira, editors,
             
            <em>
            11th International Conference on Mathematics of Program Construction (MPC '12)</em>.
        
            Vol. 7342
                of Lecture Notes in Computer Science.
        
                Pages 324&#x2013;362.
            Springer Berlin / Heidelberg.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8040-abstract.html">
			Details <span class="sr-only" > about <em> Kan Extensions for Program Optimisation&#x2014;<em>Or:</em> Art and Dan Explain an Old Trick  </em></span> </a> |
			<a href="/publications/publication8040.bib">
			BibTeX  <span class="sr-only" > data for <em> Kan Extensions for Program Optimisation&#x2014;<em>Or:</em> Art and Dan Explain an Old Trick  </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>
            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"> 
            In  
            <em>
            Proceedings of the 8th ACM SIGPLAN workshop on Generic programming</em>.
        
                Pages 69&#x2013;80.
            New York&#x201a; NY&#x201a; USA.
        2012.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8032-abstract.html">
			Details <span class="sr-only" > about <em> Sorting with bialgebras and distributive laws  </em></span> </a> |
			<a href="/publications/publication8032.bib">
			BibTeX  <span class="sr-only" > data for <em> Sorting with bialgebras and distributive laws  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2364394.2364405">
		DOI (10.1145/2364394.2364405)
		</a> 
					| <a href="\url{http://doi.acm.org/10.1145/2364394.2364405}"> 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">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Functional Pearl: F for Functor </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Jennifer Hackett and Daniel W. H. James  </em> </p>
	
	<p class="publicationDetails"> 2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8043-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: F for Functor  </em></span> </a> |
			<a href="/publications/publication8043.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: F for Functor  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/daniel.james/functor.html"> Link <span class="sr-only" > to <em> Functional Pearl: F for Functor  </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>
            Generic Programming with Adjunctions </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Jeremy Gibbons, editor,
             
            <em>
            Spring School on Generic and Indexed Programming</em>.
        
            Vol. 7470
                of Lecture Notes in Computer Science.
        
                Pages 47&#x2212;129.
            Springer Berlin Heidelberg.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8039-abstract.html">
			Details <span class="sr-only" > about <em> Generic Programming with Adjunctions  </em></span> </a> |
			<a href="/publications/publication8039.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Programming with Adjunctions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-32202-0_2">
		DOI (10.1007/978-3-642-32202-0_2)
		</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>
            Theory and Practice of Fusion </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Daniel W.H. James and Tom Harper  </em> </p>
	
	<p class="publicationDetails"> 
            In Jurriaan Hage and Marco Moraz&#xe1;n, editors,
             
            <em>
            Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)</em>.
        
            Vol. 6647
                of Lecture Notes in Computer Science.
        
                Pages 19&#x2013;37.
            Springer&#x2212;Verlag.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8031-abstract.html">
			Details <span class="sr-only" > about <em> Theory and Practice of Fusion  </em></span> </a> |
			<a href="/publications/publication8031.bib">
			BibTeX  <span class="sr-only" > data for <em> Theory and Practice of Fusion  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-24276-2_2">
		DOI (10.1007/978-3-642-24276-2_2)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/daniel.james/fusion.html"> Link <span class="sr-only" > to <em> Theory and Practice of Fusion  </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>
            Proving the unique fixed&#x2212;point principle correct: an adventure with category theory </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Daniel W.H. James  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceeding of the 16th ACM SIGPLAN international conference on Functional programming</em>.
        
                Pages 359&#x2013;371.
            New York&#x201a; NY&#x201a; USA.
        September,
            2011.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4991-abstract.html">
			Details <span class="sr-only" > about <em> Proving the unique fixed&#x2212;point principle correct: an adventure with category theory  </em></span> </a> |
			<a href="/publications/publication4991.bib">
			BibTeX  <span class="sr-only" > data for <em> Proving the unique fixed&#x2212;point principle correct: an adventure with category theory  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/2034773.2034821">
		DOI (10.1145/2034773.2034821)
		</a> 
					| <a href="http://www.cs.ox.ac.uk/people/daniel.james/unique.html"> Link <span class="sr-only" > to <em> Proving the unique fixed&#x2212;point principle correct: an adventure with category theory  </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>
            Typed Quote/Antiquote&#x2014;Or: Compile&#x2212;time Parsing </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 21.
        
            No. 3.
        
                Pages 219&#x2013;234.
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4865-abstract.html">
			Details <span class="sr-only" > about <em> Typed Quote/Antiquote&#x2014;Or: Compile&#x2212;time Parsing  </em></span> </a> |
			<a href="/publications/publication4865.bib">
			BibTeX  <span class="sr-only" > data for <em> Typed Quote/Antiquote&#x2014;Or: Compile&#x2212;time Parsing  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796811000050">
		DOI (10.1017/S0956796811000050)
		</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>
            Concrete Stream Calculus&#x2014;An extended study </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 20.
        
            No. 5&#x2212;6.
        
                Pages 463&#x2013;535.
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4851-abstract.html">
			Details <span class="sr-only" > about <em> Concrete Stream Calculus&#x2014;An extended study  </em></span> </a> |
			<a href="/publications/publication4851.bib">
			BibTeX  <span class="sr-only" > data for <em> Concrete Stream Calculus&#x2014;An extended study  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796810000213">
		DOI (10.1017/S0956796810000213)
		</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>
            Type Fusion </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Dusko Pavlovic and Michael Johnson, editors,
             
            <em>
            Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)</em>.
        
            Vol. 6486
                of Lecture Notes in Computer Science.
        
                Pages 92&#x2212;110.
            Springer&#x2212;Verlag.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8038-abstract.html">
			Details <span class="sr-only" > about <em> Type Fusion  </em></span> </a> |
			<a href="/publications/publication8038.bib">
			BibTeX  <span class="sr-only" > data for <em> Type Fusion  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-17796-5\_6">
		DOI (10.1007/978-3-642-17796-5\_6)
		</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>
            Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Sven&#x2212;Bodo Scholz and Olaf Chitil, editors,
             
            <em>
            Post&#x2212;proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)</em>.
        
            Vol. 5836
                of Lecture Notes in Computer Science.
        
                Pages 1&#x2013;24.
            Springer&#x2212;Verlag.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8037-abstract.html">
			Details <span class="sr-only" > about <em> Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem  </em></span> </a> |
			<a href="/publications/publication8037.bib">
			BibTeX  <span class="sr-only" > data for <em> Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-24452-0_1">
		DOI (10.1007/978-3-642-24452-0_1)
		</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>
            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>
            Proceeding of the 16th ACM SIGPLAN international conference on Functional programming</em>.
        
                Pages 2&#x2013;14.
            New York&#x201a; NY&#x201a; USA.
        2011.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8030-abstract.html">
			Details <span class="sr-only" > about <em> Just do it: simple monadic equational reasoning  </em></span> </a> |
			<a href="/publications/publication8030.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.cs.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">
				[23] 
			</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><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Proving The Unique Fixed&#x2212;Point Principle Correct </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Daniel W. H. James  </em> </p>
	
	<p class="publicationDetails"> 
            No. CS&#x2212;RR&#x2212;2011&#x2212;03.
        Department of Computer Science&#x201a; University of Oxford.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4990-abstract.html">
			Details <span class="sr-only" > about <em> Proving The Unique Fixed&#x2212;Point Principle Correct  </em></span> </a> |
			<a href="/publications/publication4990.bib">
			BibTeX  <span class="sr-only" > data for <em> Proving The Unique Fixed&#x2212;Point Principle Correct  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/daniel.james/unique.html"> Link <span class="sr-only" > to <em> Proving The Unique Fixed&#x2212;Point Principle Correct  </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>
            Theory and Practice of Fusion </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Thomas Harper and Daniel W.H. James  </em> </p>
	
	<p class="publicationDetails"> 
            No. CS&#x2212;RR&#x2212;2011&#x2212;01.
        Department of Computer Science&#x201a; University of Oxford.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4875-abstract.html">
			Details <span class="sr-only" > about <em> Theory and Practice of Fusion  </em></span> </a> |
			<a href="/publications/publication4875.bib">
			BibTeX  <span class="sr-only" > data for <em> Theory and Practice of Fusion  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html"> Link <span class="sr-only" > to <em> Theory and Practice of Fusion  </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>
            Reason isomorphically! </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Daniel W. H. James  </em> </p>
	
	<p class="publicationDetails"> 
            In Bruno C.d.S. Oliveira and Marcin Zalewski, editors,
             
            <em>
            Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)</em>.
        
                Pages 85&#x2013;96.
            New York&#x201a; NY&#x201a; USA.
        September,
            2010.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3972-abstract.html">
			Details <span class="sr-only" > about <em> Reason isomorphically!  </em></span> </a> |
			<a href="/publications/publication3972.bib">
			BibTeX  <span class="sr-only" > data for <em> Reason isomorphically!  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1863495.1863507">
		DOI (10.1145/1863495.1863507)
		</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>
            Special Issue on Generic Programming Editorial </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 20.
        
            No. Special Issue 3&#x2013;4.
        
                Pages 211&#x2212;212.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3974-abstract.html">
			Details <span class="sr-only" > about <em> Special Issue on Generic Programming Editorial  </em></span> </a> |
			<a href="/publications/publication3974.bib">
			BibTeX  <span class="sr-only" > data for <em> Special Issue on Generic Programming Editorial  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796810000286">
		DOI (10.1017/S0956796810000286)
		</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>
            A reflection&#x2212;based proof tactic for lattices in Coq </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel W.H. James and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Zolt&#xe1;n Horv&#xe1;th&#x201a; Vikt&#x03cc;ria Zs&#x03cc;k&#x201a; Peter Achten and Pieter Koopman, editors,
             
            <em>
            Post&#x2212;conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)</em>.
        
                Pages 97&#x2212;112.
            Intellect.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4861-abstract.html">
			Details <span class="sr-only" > about <em> A reflection&#x2212;based proof tactic for lattices in Coq  </em></span> </a> |
			<a href="/publications/publication4861.bib">
			BibTeX  <span class="sr-only" > data for <em> A reflection&#x2212;based proof tactic for lattices in Coq  </em></span>   </a>
			
			
					| <a href="http://www.intellectbooks.co.uk/books/view-Book,id=4740/"> Link <span class="sr-only" > to <em> A reflection&#x2212;based proof tactic for lattices in Coq  </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>
            Adjoint Folds and Unfolds&#x201a; Or: Scything through the Thicket of Morphisms </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Claude Bolduc&#x201a; Jules Desharnais and B&#xe9;chir Ktari, editors,
             
            <em>
            10th International Conference on Mathematics of Program Construction (MPC '10)</em>.
        
            Vol. 6120
                of Lecture Notes in Computer Science.
        
                Pages 195&#x2212;228.
            Springer Berlin / Heidelberg.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3998-abstract.html">
			Details <span class="sr-only" > about <em> Adjoint Folds and Unfolds&#x201a; Or: Scything through the Thicket of Morphisms  </em></span> </a> |
			<a href="/publications/publication3998.bib">
			BibTeX  <span class="sr-only" > data for <em> Adjoint Folds and Unfolds&#x201a; Or: Scything through the Thicket of Morphisms  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-13321-3\_13">
		DOI (10.1007/978-3-642-13321-3\_13)
		</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>
            Type Fusion </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Dusko Pavlovic and Michael Johnson, editors,
             
            <em>
            Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)</em>.
        
            Vol. 6486
                of Lecture Notes in Computer Science.
        Springer&#x2212;Verlag.
        2010.
        </p> <p
            class="publicationNote"> to appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3976-abstract.html">
			Details <span class="sr-only" > about <em> Type Fusion  </em></span> </a> |
			<a href="/publications/publication3976.bib">
			BibTeX  <span class="sr-only" > data for <em> Type Fusion  </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>
            Reasoning about Codata </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Zolt&#xe1;n Horv&#xe1;th&#x201a; Rinus Plasmeijer and Vikt&#x03cc;ria Zs&#x03cc;k, editors,
             
            <em>
            Third Central European Functional Programming School (CEFP 2009)</em>.
        
            Vol. 6299
                of Lecture Notes in Computer Science.
        
                Pages 42&#x2013;93.
            Springer Berlin / Heidelberg.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3973-abstract.html">
			Details <span class="sr-only" > about <em> Reasoning about Codata  </em></span> </a> |
			<a href="/publications/publication3973.bib">
			BibTeX  <span class="sr-only" > data for <em> Reasoning about Codata  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-17685-2\_3">
		DOI (10.1007/978-3-642-17685-2\_3)
		</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>
            Generic Programming in 3D </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 74.
        
            No. 8.
        
                Pages 590&#x2212;628.
            June,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3981-abstract.html">
			Details <span class="sr-only" > about <em> Generic Programming in 3D  </em></span> </a> |
			<a href="/publications/publication3981.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Programming in 3D  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2007.10.006">
		DOI (10.1016/j.scico.2007.10.006)
		</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>
            A Reflection&#x2212;based Proof Tactic for Lattices in Coq </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel W.H. James and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Zolt&#xe1;n Horv&#xe1;th and Vikt&#x03cc;ria Zs&#x03cc;k, editors,
             
            <em>
            Post&#x2212;symposium proceedings of the 10th Symposium on Trends in Functional Programming</em>.
        Intellect.
        June,
            2009.
        </p> <p
            class="publicationNote"> http://www.intellectbooks.co.uk/books/view&#x2212;Book&#x201a;id=4740/</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3979-abstract.html">
			Details <span class="sr-only" > about <em> A Reflection&#x2212;based Proof Tactic for Lattices in Coq  </em></span> </a> |
			<a href="/publications/publication3979.bib">
			BibTeX  <span class="sr-only" > data for <em> A Reflection&#x2212;based Proof Tactic for Lattices in Coq  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html"> Link <span class="sr-only" > to <em> A Reflection&#x2212;based Proof Tactic for Lattices in Coq  </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>
            A reflection&#x2212;based proof tactic for lattices in Coq </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel W.H. James and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Zolt&#xe1;n Horv&#xe1;th and Vikt&#x03cc;ria Zs&#x03cc;k, editors,
             
            <em>
            Post&#x2212;symposium proceedings of the 10th Symposium on Trends in Functional Programming</em>.
        
                Chapter 7.
            
                Pages 97&#x2013;112.
            Intellect.
        June,
            2009.
        </p> <p
            class="publicationNote"> <a href="http://www.intellectbooks.co.uk/books/view-Book,id=4740/">http://www.intellectbooks.co.uk/books/view-Book,id=4740/</a></p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4882-abstract.html">
			Details <span class="sr-only" > about <em> A reflection&#x2212;based proof tactic for lattices in Coq  </em></span> </a> |
			<a href="/publications/publication4882.bib">
			BibTeX  <span class="sr-only" > data for <em> A reflection&#x2212;based proof tactic for lattices in Coq  </em></span>   </a>
			
			
					| <a href="http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html"> Link <span class="sr-only" > to <em> A reflection&#x2212;based proof tactic for lattices in Coq  </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>
            Functional Pearl: Purely Functional 1&#x2212;2 Brother Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 19.
        
            No. 6.
        
                Pages 633&#x2212;644.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3977-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Purely Functional 1&#x2212;2 Brother Trees  </em></span> </a> |
			<a href="/publications/publication3977.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Purely Functional 1&#x2212;2 Brother Trees  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796809007333">
		DOI (10.1017/S0956796809007333)
		</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>
            Functional Pearl: The Bird Tree </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 19.
        
            No. 5.
        
                Pages 491&#x2013;508.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3978-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: The Bird Tree  </em></span> </a> |
			<a href="/publications/publication3978.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: The Bird Tree  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796809990116">
		DOI (10.1017/S0956796809990116)
		</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>
            Functional pearl: la tour d'Hano&#xef; </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Andrew Tolmach, editor,
             
            <em>
            Proceedings of the 14th ACM SIGPLAN international conference on Functional Programming (ICFP '09)</em>.
        
                Pages 3&#x2212;10.
            New York&#x201a; NY&#x201a; USA.
        2009.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3980-abstract.html">
			Details <span class="sr-only" > about <em> Functional pearl: la tour d'Hano&#xef;  </em></span> </a> |
			<a href="/publications/publication3980.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional pearl: la tour d'Hano&#xef;  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1596550.1596555">
		DOI (10.1145/1596550.1596555)
		</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>
            Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Sven&#x2212;Bodo Scholz, editor,
             
            <em>
            Post&#x2212;proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)</em>.
        
            Vol. 5836
                of Lecture Notes in Computer Science.
        Springer&#x2212;Verlag.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3982-abstract.html">
			Details <span class="sr-only" > about <em> Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem  </em></span> </a> |
			<a href="/publications/publication3982.bib">
			BibTeX  <span class="sr-only" > data for <em> Scans and Convolutions&#x2014;A Calculational Proof of Moessner's Theorem  </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>
            Functional pearl: streams and unique fixed points </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Peter Thiemann, editor,
             
            <em>
            Proceedings of the 13th ACM SIGPLAN international conference on Functional Programming (ICFP '08)</em>.
        
                Pages 189&#x2212;200.
            New York&#x201a; NY&#x201a; USA.
        September,
            2008.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3984-abstract.html">
			Details <span class="sr-only" > about <em> Functional pearl: streams and unique fixed points  </em></span> </a> |
			<a href="/publications/publication3984.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional pearl: streams and unique fixed points  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1411204.1411232">
		DOI (10.1145/1411204.1411232)
		</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>
            Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Don Syme, editors  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4827-abstract.html">
			Details <span class="sr-only" > about <em> Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)  </em></span> </a> |
			<a href="/publications/publication4827.bib">
			BibTeX  <span class="sr-only" > data for <em> Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)  </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>
            Exploiting Unique Fixed Points (Invited Lecture) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Philippe Audebaud and Christine Paulin&#x2212;Mohring, editors,
             
            <em>
            9th International Conference on Mathematics of Program Construction (MPC '08)</em>.
        
            Vol. 5133
                of Lecture Notes in Computer Science.
        
                Pages 1.
            Springer Berlin / Heidelberg.
        July,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3983-abstract.html">
			Details <span class="sr-only" > about <em> Exploiting Unique Fixed Points (Invited Lecture)  </em></span> </a> |
			<a href="/publications/publication3983.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploiting Unique Fixed Points (Invited Lecture)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-70594-9\_1">
		DOI (10.1007/978-3-540-70594-9\_1)
		</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>
            Generic Programming in 3D </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        2007.
        </p> <p
            class="publicationNote"> to appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1163-abstract.html">
			Details <span class="sr-only" > about <em> Generic Programming in 3D  </em></span> </a> |
			<a href="/publications/publication1163.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Programming in 3D  </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>
            Datatype&#x2212;Generic Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Roland Backhouse&#x201a; Jeremy Gibbons&#x201a; Ralf Hinze and Johan Jeuring, editors  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4810-abstract.html">
			Details <span class="sr-only" > about <em> Datatype&#x2212;Generic Programming  </em></span> </a> |
			<a href="/publications/publication4810.bib">
			BibTeX  <span class="sr-only" > data for <em> Datatype&#x2212;Generic Programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-76786-2">
		DOI (10.1007/978-3-540-76786-2)
		</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>
            Generic Programming&#x201a; Now! </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse&#x201a; Jeremy Gibbons&#x201a; Ralf Hinze and Johan Jeuring, editors,
             
            <em>
            Datatype&#x2212;Generic Programming</em>.
        
            Vol. 4719
                of Lecture Notes in Computer Science.
        
                Pages 150&#x2212;208.
            Springer Berlin / Heidelberg.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1162-abstract.html">
			Details <span class="sr-only" > about <em> Generic Programming&#x201a; Now!  </em></span> </a> |
			<a href="/publications/publication1162.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Programming&#x201a; Now!  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-76786-2\_3">
		DOI (10.1007/978-3-540-76786-2\_3)
		</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>
            Comparing Approaches to Generic Programming in Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Johan Jeuring and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse&#x201a; Jeremy Gibbons&#x201a; Ralf Hinze and Johan Jeuring, editors,
             
            <em>
            Datatype&#x2212;Generic Programming</em>.
        
            Vol. 4719
                of Lecture Notes in Computer Science.
        
                Pages 72&#x2212;149.
            Springer Berlin / Heidelberg.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1176-abstract.html">
			Details <span class="sr-only" > about <em> Comparing Approaches to Generic Programming in Haskell  </em></span> </a> |
			<a href="/publications/publication1176.bib">
			BibTeX  <span class="sr-only" > data for <em> Comparing Approaches to Generic Programming in Haskell  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-76786-2\_2">
		DOI (10.1007/978-3-540-76786-2\_2)
		</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>
            Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze, editor  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3990-abstract.html">
			Details <span class="sr-only" > about <em> Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)  </em></span> </a> |
			<a href="/publications/publication3990.bib">
			BibTeX  <span class="sr-only" > data for <em> Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)  </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>
            Open data types and open functions </strong> </p>
	    <p class="publicationAuthors"> <em> Andres L&#xf6;h and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Michael Maher, editor,
             
            <em>
            Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06)</em>.
        
                Pages 133&#x2212;144.
            New York&#x201a; NY&#x201a; USA.
        July,
            2006.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1109-abstract.html">
			Details <span class="sr-only" > about <em> Open data types and open functions  </em></span> </a> |
			<a href="/publications/publication1109.bib">
			BibTeX  <span class="sr-only" > data for <em> Open data types and open functions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1140335.1140352">
		DOI (10.1145/1140335.1140352)
		</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>
            &#x201c;Scrap Your Boilerplate&#x201d; Revolutions </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Tarmo Uustalu, editor,
             
            <em>
            8th International Conference on Mathematics of Program Construction (MPC '06)</em>.
        
            Vol. 4014
                of Lecture Notes in Computer Science.
        
                Pages 180&#x2212;208.
            Springer Berlin / Heidelberg.
        July,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1172-abstract.html">
			Details <span class="sr-only" > about <em> &#x201c;Scrap Your Boilerplate&#x201d; Revolutions  </em></span> </a> |
			<a href="/publications/publication1172.bib">
			BibTeX  <span class="sr-only" > data for <em> &#x201c;Scrap Your Boilerplate&#x201d; Revolutions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/11783596\_13">
		DOI (10.1007/11783596\_13)
		</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>
            &#x201c;Scrap Your Boilerplate&#x201d; Reloaded </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Andres L&#xf6;h and Bruno C.d.S. Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            In Masami Hagiya and Philip Wadler, editors,
             
            <em>
            Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)</em>.
        
            Vol. 3945
                of Lecture Notes in Computer Science.
        
                Pages 13&#x2212;29.
            Springer Berlin / Heidelberg.
        April,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1174-abstract.html">
			Details <span class="sr-only" > about <em> &#x201c;Scrap Your Boilerplate&#x201d; Reloaded  </em></span> </a> |
			<a href="/publications/publication1174.bib">
			BibTeX  <span class="sr-only" > data for <em> &#x201c;Scrap Your Boilerplate&#x201d; Reloaded  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/11737414\_3">
		DOI (10.1007/11737414\_3)
		</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>
            Typed Contracts for Functional Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Johan Jeuring and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Masami Hagiya and Philip Wadler, editors,
             
            <em>
            Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)</em>.
        
            Vol. 3945
                of Lecture Notes in Computer Science.
        
                Pages 208&#x2212;225.
            Springer Berlin / Heidelberg.
        April,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1177-abstract.html">
			Details <span class="sr-only" > about <em> Typed Contracts for Functional Programming  </em></span> </a> |
			<a href="/publications/publication1177.bib">
			BibTeX  <span class="sr-only" > data for <em> Typed Contracts for Functional Programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/11737414\_15">
		DOI (10.1007/11737414\_15)
		</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>
            Open data types and open functions </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;2006&#x2212;3.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        February,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1164-abstract.html">
			Details <span class="sr-only" > about <em> Open data types and open functions  </em></span> </a> |
			<a href="/publications/publication1164.bib">
			BibTeX  <span class="sr-only" > data for <em> Open data types and open functions  </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>
            &#x201c;Scrap Your Boilerplate&#x201d; Reloaded </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Andres L&#xf6;h and Bruno C.d.S. Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;2006&#x2212;2.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        January,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1173-abstract.html">
			Details <span class="sr-only" > about <em> &#x201c;Scrap Your Boilerplate&#x201d; Reloaded  </em></span> </a> |
			<a href="/publications/publication1173.bib">
			BibTeX  <span class="sr-only" > data for <em> &#x201c;Scrap Your Boilerplate&#x201d; Reloaded  </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>
            Generics for the masses </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 16.
        
            No. 4&#x2212;5.
        
                Pages 451&#x2212;483.
            July,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4849-abstract.html">
			Details <span class="sr-only" > about <em> Generics for the masses  </em></span> </a> |
			<a href="/publications/publication4849.bib">
			BibTeX  <span class="sr-only" > data for <em> Generics for the masses  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796806006022">
		DOI (10.1017/S0956796806006022)
		</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>
            Finger trees: a simple general&#x2212;purpose data structure </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Ross Paterson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 16.
        
            No. 2.
        
                Pages 197&#x2212;217.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3989-abstract.html">
			Details <span class="sr-only" > about <em> Finger trees: a simple general&#x2212;purpose data structure  </em></span> </a> |
			<a href="/publications/publication3989.bib">
			BibTeX  <span class="sr-only" > data for <em> Finger trees: a simple general&#x2212;purpose data structure  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796805005769">
		DOI (10.1017/S0956796805005769)
		</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>
            Generics as a Library </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira&#x201a; Ralf Hinze and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Henrik Nilsson, editor,
             
            <em>
            Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06)</em>.
        Intellect.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1175-abstract.html">
			Details <span class="sr-only" > about <em> Generics as a Library  </em></span> </a> |
			<a href="/publications/publication1175.bib">
			BibTeX  <span class="sr-only" > data for <em> Generics as a Library  </em></span>   </a>
			
			
					| <a href="http://www.intellectbooks.co.uk/books/view-Book,id=4576/"> Link <span class="sr-only" > to <em> Generics as a Library  </em></span> </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>
            Theoretical Pearl: Church numerals&#x201a; twice! </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 15.
        
            No. 1.
        
                Pages 1&#x2212;13.
            January,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4848-abstract.html">
			Details <span class="sr-only" > about <em> Theoretical Pearl: Church numerals&#x201a; twice!  </em></span> </a> |
			<a href="/publications/publication4848.bib">
			BibTeX  <span class="sr-only" > data for <em> Theoretical Pearl: Church numerals&#x201a; twice!  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796804005313">
		DOI (10.1017/S0956796804005313)
		</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>
            Generics for the masses </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Kathleen Fisher, editor,
             
            <em>
            Proceedings of the ninth ACM SIGPLAN international conference on Functional Programming (ICFP '04)</em>.
        
                Pages 236&#x2212;243.
            New York&#x201a; NY&#x201a; USA.
        September,
            2004.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4845-abstract.html">
			Details <span class="sr-only" > about <em> Generics for the masses  </em></span> </a> |
			<a href="/publications/publication4845.bib">
			BibTeX  <span class="sr-only" > data for <em> Generics for the masses  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1016850.1016882">
		DOI (10.1145/1016850.1016882)
		</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>
            An Algebra of Scans </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Dexter Kozen, editor,
             
            <em>
            Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04)</em>.
        
            Vol. 3125
                of Lecture Notes in Computer Science.
        
                Pages 186&#x2212;210.
            Springer Berlin / Heidelberg.
        July,
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4846-abstract.html">
			Details <span class="sr-only" > about <em> An Algebra of Scans  </em></span> </a> |
			<a href="/publications/publication4846.bib">
			BibTeX  <span class="sr-only" > data for <em> An Algebra of Scans  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-27764-4\_11">
		DOI (10.1007/978-3-540-27764-4\_11)
		</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>
            Type&#x2212;indexed data types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Johan Jeuring and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 51.
        
            No. 1&#x2212;2.
        
                Pages 117&#x2212;151.
            May,
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1178-abstract.html">
			Details <span class="sr-only" > about <em> Type&#x2212;indexed data types  </em></span> </a> |
			<a href="/publications/publication1178.bib">
			BibTeX  <span class="sr-only" > data for <em> Type&#x2212;indexed data types  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2003.07.001">
		DOI (10.1016/j.scico.2003.07.001)
		</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>
            Special issue on functional pearls (Editorial) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 14.
        
            No. 6.
        
                Pages 601.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4844-abstract.html">
			Details <span class="sr-only" > about <em> Special issue on functional pearls (Editorial)  </em></span> </a> |
			<a href="/publications/publication4844.bib">
			BibTeX  <span class="sr-only" > data for <em> Special issue on functional pearls (Editorial)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796804005271">
		DOI (10.1017/S0956796804005271)
		</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>
            Typed Quote/Antiquote </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 2004.
        </p> <p
            class="publicationNote"> in preparation</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4847-abstract.html">
			Details <span class="sr-only" > about <em> Typed Quote/Antiquote  </em></span> </a> |
			<a href="/publications/publication4847.bib">
			BibTeX  <span class="sr-only" > data for <em> Typed Quote/Antiquote  </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>
            Functional Pearl: Formatting: a class act </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 13.
        
            No. 5.
        
                Pages 935&#x2212;944.
            September,
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4843-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Formatting: a class act  </em></span> </a> |
			<a href="/publications/publication4843.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Formatting: a class act  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796802004367">
		DOI (10.1017/S0956796802004367)
		</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>
            Functional Pearl: Trouble shared is trouble halved </strong> </p>
	    <p class="publicationAuthors"> <em> Richard Bird and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Johan Jeuring, editor,
             
            <em>
            Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell '03)</em>.
        
                Pages 1&#x2013;6.
            New York&#x201a; NY&#x201a; USA.
        September,
            2003.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4811-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Trouble shared is trouble halved  </em></span> </a> |
			<a href="/publications/publication4811.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Trouble shared is trouble halved  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/871895.871896">
		DOI (10.1145/871895.871896)
		</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>
            Generic Haskell: Practice and Theory </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Johan Jeuring  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2003&#x2212;15.
        Universiteit Utrecht.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4825-abstract.html">
			Details <span class="sr-only" > about <em> Generic Haskell: Practice and Theory  </em></span> </a> |
			<a href="/publications/publication4825.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Haskell: Practice and Theory  </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>
            Generic Haskell: Applications </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Johan Jeuring  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2003&#x2212;16.
        Universiteit Utrecht.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4823-abstract.html">
			Details <span class="sr-only" > about <em> Generic Haskell: Applications  </em></span> </a> |
			<a href="/publications/publication4823.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Haskell: Applications  </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>
            First&#x2212;Class Phantom Types </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> Cornell University.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1182-abstract.html">
			Details <span class="sr-only" > about <em> First&#x2212;Class Phantom Types  </em></span> </a> |
			<a href="/publications/publication1182.bib">
			BibTeX  <span class="sr-only" > data for <em> First&#x2212;Class Phantom Types  </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 Haskell: Practice and Theory </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Johan Jeuring  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse and Jeremy Gibbons, editors,
             
            <em>
            Generic Programming: Advanced Lectures</em>.
        
            Vol. 2793
                of Lecture Notes in Computer Science.
        
                Pages 1&#x2212;56.
            Springer Berlin / Heidelberg.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4824-abstract.html">
			Details <span class="sr-only" > about <em> Generic Haskell: Practice and Theory  </em></span> </a> |
			<a href="/publications/publication4824.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Haskell: Practice and Theory  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-45191-4\_1">
		DOI (10.1007/978-3-540-45191-4\_1)
		</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>
            Generic Haskell: Applications </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Johan Jeuring  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse and Jeremy Gibbons, editors,
             
            <em>
            Generic Programming: Advanced Lectures</em>.
        
            Vol. 2793
                of Lecture Notes in Computer Science.
        
                Pages 57&#x2212;96.
            Springer Berlin / Heidelberg.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4822-abstract.html">
			Details <span class="sr-only" > about <em> Generic Haskell: Applications  </em></span> </a> |
			<a href="/publications/publication4822.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Haskell: Applications  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-45191-4\_2">
		DOI (10.1007/978-3-540-45191-4\_2)
		</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>
            Fun with phantom types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Jeremy Gibbons and Oege de Moor, editors,
             
            <em>
            The Fun of Programming</em>.
        
                Pages 245&#x2212;262.
            Palgrave Macmillan.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1141-abstract.html">
			Details <span class="sr-only" > about <em> Fun with phantom types  </em></span> </a> |
			<a href="/publications/publication1141.bib">
			BibTeX  <span class="sr-only" > data for <em> Fun with phantom types  </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>
            Derivation of a Typed Functional LR Parser </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Ross Paterson  </em> </p>
	
	<p class="publicationDetails"> 2003.
        </p> <p
            class="publicationNote"> in preparation</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1161-abstract.html">
			Details <span class="sr-only" > about <em> Derivation of a Typed Functional LR Parser  </em></span> </a> |
			<a href="/publications/publication1161.bib">
			BibTeX  <span class="sr-only" > data for <em> Derivation of a Typed Functional LR Parser  </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>
            Constructing Tournament Representations: An Exercise in Pointwise Relational Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Eerke A. Boiten and Bernhard M&#xf6;ller, editors,
             
            <em>
            Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)</em>.
        
            Vol. 2386
                of Lecture Notes in Computer Science.
        
                Pages 131&#x2013;147.
            Springer Berlin / Heidelberg.
        July,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4841-abstract.html">
			Details <span class="sr-only" > about <em> Constructing Tournament Representations: An Exercise in Pointwise Relational Programming  </em></span> </a> |
			<a href="/publications/publication4841.bib">
			BibTeX  <span class="sr-only" > data for <em> Constructing Tournament Representations: An Exercise in Pointwise Relational Programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/3-540-45442-X\_9">
		DOI (10.1007/3-540-45442-X\_9)
		</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>
            Type&#x2212;indexed Data Types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Johan Jeuring and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            In Eerke A. Boiten and Bernhard M&#xf6;ller, editors,
             
            <em>
            Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)</em>.
        
            Vol. 2386
                of Lecture Notes in Computer Science.
        
                Pages 148&#x2013;174.
            Springer Berlin / Heidelberg.
        July,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1180-abstract.html">
			Details <span class="sr-only" > about <em> Type&#x2212;indexed Data Types  </em></span> </a> |
			<a href="/publications/publication1180.bib">
			BibTeX  <span class="sr-only" > data for <em> Type&#x2212;indexed Data Types  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/3-540-45442-X\_10">
		DOI (10.1007/3-540-45442-X\_10)
		</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>
            Combining Generics and Dynamics </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Achten and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. NIII&#x2212;R0206.
        Nijmegen Institute for Computing and Information Sciences&#x201a; University of Nijmegen.
        July,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1188-abstract.html">
			Details <span class="sr-only" > about <em> Combining Generics and Dynamics  </em></span> </a> |
			<a href="/publications/publication1188.bib">
			BibTeX  <span class="sr-only" > data for <em> Combining Generics and Dynamics  </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>
            Constructing tournament representations: An exercise in pointwise relational programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;2002&#x2212;2.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        February,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1145-abstract.html">
			Details <span class="sr-only" > about <em> Constructing tournament representations: An exercise in pointwise relational programming  </em></span> </a> |
			<a href="/publications/publication1145.bib">
			BibTeX  <span class="sr-only" > data for <em> Constructing tournament representations: An exercise in pointwise relational programming  </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>
            Church numerals&#x201a; twice! </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;2002&#x2212;3.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        February,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1147-abstract.html">
			Details <span class="sr-only" > about <em> Church numerals&#x201a; twice!  </em></span> </a> |
			<a href="/publications/publication1147.bib">
			BibTeX  <span class="sr-only" > data for <em> Church numerals&#x201a; twice!  </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>
            Functional Pearl: A fresh look at binary search trees </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 12.
        
            No. 6.
        
                Pages 601&#x2212;607.
            November,
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4842-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: A fresh look at binary search trees  </em></span> </a> |
			<a href="/publications/publication4842.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: A fresh look at binary search trees  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796801004269">
		DOI (10.1017/S0956796801004269)
		</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>
            Bootstrapping one&#x2212;sided flexible arrays </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Simon Peyton Jones, editor,
             
            <em>
            Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02)</em>.
        
                Pages 2&#x2212;13.
            New York&#x201a; NY&#x201a; USA.
        October,
            2002.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4840-abstract.html">
			Details <span class="sr-only" > about <em> Bootstrapping one&#x2212;sided flexible arrays  </em></span> </a> |
			<a href="/publications/publication4840.bib">
			BibTeX  <span class="sr-only" > data for <em> Bootstrapping one&#x2212;sided flexible arrays  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/581478.581480">
		DOI (10.1145/581478.581480)
		</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>
            A lightweight implementation of generics and dynamics </strong> </p>
	    <p class="publicationAuthors"> <em> James Cheney and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Manuel M.T. Chakravarty, editor,
             
            <em>
            Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02)</em>.
        
                Pages 90&#x2212;104.
            New York&#x201a; NY&#x201a; USA.
        October,
            2002.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4814-abstract.html">
			Details <span class="sr-only" > about <em> A lightweight implementation of generics and dynamics  </em></span> </a> |
			<a href="/publications/publication4814.bib">
			BibTeX  <span class="sr-only" > data for <em> A lightweight implementation of generics and dynamics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/581690.581698">
		DOI (10.1145/581690.581698)
		</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>
            Polytypic values possess polykinded types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        
            Vol. 43.
        
            No. 2&#x2212;3.
        
                Pages 129&#x2212;159.
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1143-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic values possess polykinded types  </em></span> </a> |
			<a href="/publications/publication1143.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic values possess polykinded types  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S0167-6423(02)00025-4">
		DOI (10.1016/S0167-6423(02)00025-4)
		</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>
            Type&#x2212;indexed data types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze&#x201a; Johan Jeuring and Andres L&#xf6;h  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2002&#x2212;11.
        Universiteit Utrecht.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1179-abstract.html">
			Details <span class="sr-only" > about <em> Type&#x2212;indexed data types  </em></span> </a> |
			<a href="/publications/publication1179.bib">
			BibTeX  <span class="sr-only" > data for <em> Type&#x2212;indexed data types  </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>
            Manufacturing datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 11.
        
            No. 5.
        
                Pages 493&#x2212;524.
            September,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1156-abstract.html">
			Details <span class="sr-only" > about <em> Manufacturing datatypes  </em></span> </a> |
			<a href="/publications/publication1156.bib">
			BibTeX  <span class="sr-only" > data for <em> Manufacturing datatypes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S095679680100404X">
		DOI (10.1017/S095679680100404X)
		</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>
            A simple implementation technique for priority search queues </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Xavier Leroy, editor,
             
            <em>
            Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (ICFP '01)</em>.
        
                Pages 110&#x2013;121.
            New York&#x201a; NY&#x201a; USA.
        September,
            2001.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4839-abstract.html">
			Details <span class="sr-only" > about <em> A simple implementation technique for priority search queues  </em></span> </a> |
			<a href="/publications/publication4839.bib">
			BibTeX  <span class="sr-only" > data for <em> A simple implementation technique for priority search queues  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/507635.507650">
		DOI (10.1145/507635.507650)
		</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>
            Proceedings of the 2001 ACM SIGPLAN Haskell Workshop </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze, editor  </em> </p>
	
	<p class="publicationDetails"> </p> <p
            class="publicationNote"> The preliminary proceedings appeared as a technical report of Universiteit Utrecht&#x201a; UU&#x2212;CS&#x2212;2001&#x2212;62</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4838-abstract.html">
			Details <span class="sr-only" > about <em> Proceedings of the 2001 ACM SIGPLAN Haskell Workshop  </em></span> </a> |
			<a href="/publications/publication4838.bib">
			BibTeX  <span class="sr-only" > data for <em> Proceedings of the 2001 ACM SIGPLAN Haskell Workshop  </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>
            Derivable Type Classes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Simon Peyton Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In Graham Hutton, editor,
             
            <em>
            Proceedings of the 2000 ACM SIGPLAN Haskell Workshop</em>.
        
            Vol. 41(1) of Electronic Notes in Theoretical Computer Science.
        
                Pages 5&#x2212;35.
            Elsevier Science.
        August,
            2001.
        </p> <p
            class="publicationNote"> The preliminary proceedings appeared as a University of Nottingham technical report</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1171-abstract.html">
			Details <span class="sr-only" > about <em> Derivable Type Classes  </em></span> </a> |
			<a href="/publications/publication1171.bib">
			BibTeX  <span class="sr-only" > data for <em> Derivable Type Classes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S1571-0661(05)80542-0">
		DOI (10.1016/S1571-0661(05)80542-0)
		</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>
            Polytypic Programming With Ease </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional and Logic Programming</em>.
        
            Vol. 2001.
        
            No. 3.
        July,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4837-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Programming With Ease  </em></span> </a> |
			<a href="/publications/publication4837.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Programming With Ease  </em></span>   </a>
			
			
					| <a href="http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html"> Link <span class="sr-only" > to <em> Polytypic Programming With Ease  </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>
            A Simple Implementation Technique for Priority Search Queues </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2001&#x2212;09.
        Universiteit Utrecht.
        March,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1151-abstract.html">
			Details <span class="sr-only" > about <em> A Simple Implementation Technique for Priority Search Queues  </em></span> </a> |
			<a href="/publications/publication1151.bib">
			BibTeX  <span class="sr-only" > data for <em> A Simple Implementation Technique for Priority Search Queues  </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>
            Functional Pearl: Weaving a web </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze and Johan Jeuring  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 11.
        
            No. 6.
        
                Pages 681&#x2212;689.
            November,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1170-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Weaving a web  </em></span> </a> |
			<a href="/publications/publication1170.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Weaving a web  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796801004129">
		DOI (10.1017/S0956796801004129)
		</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>
            The Generic Haskell user's guide </strong> </p>
	    <p class="publicationAuthors"> <em> Dave Clarke&#x201a; Ralf Hinze&#x201a; Johan Jeuring&#x201a; Andres L&#xf6;h and Jan de Wit  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2001&#x2212;26.
        Universiteit Utrecht.
        November,
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4813-abstract.html">
			Details <span class="sr-only" > about <em> The Generic Haskell user's guide  </em></span> </a> |
			<a href="/publications/publication4813.bib">
			BibTeX  <span class="sr-only" > data for <em> The Generic Haskell user's guide  </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>
            Prolog's Control Constructs in a Functional Setting &#x2014; Axioms and Implementation </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IJFCS</em>.
        
            Vol. 12.
        
            No. 2.
        
                Pages 125&#x2212;170.
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1149-abstract.html">
			Details <span class="sr-only" > about <em> Prolog's Control Constructs in a Functional Setting &#x2014; Axioms and Implementation  </em></span> </a> |
			<a href="/publications/publication1149.bib">
			BibTeX  <span class="sr-only" > data for <em> Prolog's Control Constructs in a Functional Setting &#x2014; Axioms and Implementation  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1142/S0129054101000436">
		DOI (10.1142/S0129054101000436)
		</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>
            Functional Pearl: Weaving a Web </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. UU&#x2212;CS&#x2212;2001&#x2212;33.
        Universiteit Utrecht.
        2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4821-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Weaving a Web  </em></span> </a> |
			<a href="/publications/publication4821.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Weaving a Web  </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>
            Deriving backtracking monad transformers </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Phil Wadler, editor,
             
            <em>
            Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00)</em>.
        
                Pages 186&#x2013;197.
            New York&#x201a; NY&#x201a; USA.
        September,
            2000.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4828-abstract.html">
			Details <span class="sr-only" > about <em> Deriving backtracking monad transformers  </em></span> </a> |
			<a href="/publications/publication4828.bib">
			BibTeX  <span class="sr-only" > data for <em> Deriving backtracking monad transformers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/351240.351258">
		DOI (10.1145/351240.351258)
		</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>
            Memo functions&#x201a; polytypically! </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Johan Jeuring, editor,
             
            <em>
            Proceedings of the second Workshop on Generic Programming</em>.
        
                Pages 17&#x2013;32.
            July,
            2000.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Universiteit Utrecht&#x201a; UU&#x2212;CS&#x2212;2000&#x2212;19</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4834-abstract.html">
			Details <span class="sr-only" > about <em> Memo functions&#x201a; polytypically!  </em></span> </a> |
			<a href="/publications/publication4834.bib">
			BibTeX  <span class="sr-only" > data for <em> Memo functions&#x201a; polytypically!  </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>
            Polytypic Values Possess Polykinded Types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Roland Backhouse and Jos&#xe9; Oliveira, editors,
             
            <em>
            Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)</em>.
        
            Vol. 1837
                of Lecture Notes in Computer Science.
        
                Pages 2&#x2212;27.
            Springer Berlin / Heidelberg.
        July,
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4832-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Values Possess Polykinded Types  </em></span> </a> |
			<a href="/publications/publication4832.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Values Possess Polykinded Types  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/10722010\_2">
		DOI (10.1007/10722010\_2)
		</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>
            Efficient Generalized Folds </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Johan Jeuring, editor,
             
            <em>
            Proceedings of the second Workshop on Generic Programming</em>.
        
                Pages 1&#x2013;16.
            July,
            2000.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Universiteit Utrecht&#x201a; UU&#x2212;CS&#x2212;2000&#x2212;19</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4829-abstract.html">
			Details <span class="sr-only" > about <em> Efficient Generalized Folds  </em></span> </a> |
			<a href="/publications/publication4829.bib">
			BibTeX  <span class="sr-only" > data for <em> Efficient Generalized Folds  </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>
            Functional Pearl: Perfect trees and bit&#x2212;reversal permutations </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 10.
        
            No. 3.
        
                Pages 305&#x2212;317.
            May,
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1153-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Perfect trees and bit&#x2212;reversal permutations  </em></span> </a> |
			<a href="/publications/publication1153.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Perfect trees and bit&#x2212;reversal permutations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796800003701">
		DOI (10.1017/S0956796800003701)
		</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>
            A new approach to generic functional programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Thomas W. Reps, editor,
             
            <em>
            Proceedings of the 27th ACM SIGPLAN&#x2212;SIGACT symposium on Principles of programming languages (POPL '00)</em>.
        
                Pages 119&#x2013;132.
            New York&#x201a; NY&#x201a; USA.
        January,
            2000.
        ACM.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4835-abstract.html">
			Details <span class="sr-only" > about <em> A new approach to generic functional programming  </em></span> </a> |
			<a href="/publications/publication4835.bib">
			BibTeX  <span class="sr-only" > data for <em> A new approach to generic functional programming  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/325694.325709">
		DOI (10.1145/325694.325709)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[97] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalizing generalized tries </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 10.
        
            No. 4.
        
                Pages 327&#x2212;351.
            2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4830-abstract.html">
			Details <span class="sr-only" > about <em> Generalizing generalized tries  </em></span> </a> |
			<a href="/publications/publication4830.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalizing generalized tries  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796800003713">
		DOI (10.1017/S0956796800003713)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[98] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generic Programs and Proofs </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis  ,
                type= Habilitationsschrift.
        Universit&#xe4;t Bonn.
        2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4831-abstract.html">
			Details <span class="sr-only" > about <em> Generic Programs and Proofs  </em></span> </a> |
			<a href="/publications/publication4831.bib">
			BibTeX  <span class="sr-only" > data for <em> Generic Programs and Proofs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[99] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Functions Over Nested Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Discrete Mathematics and Theoretical Computer Science</em>.
        
            Vol. 3.
        
            No. 4.
        
                Pages 193&#x2212;214.
            September,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4860-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Functions Over Nested Datatypes  </em></span> </a> |
			<a href="/publications/publication4860.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Functions Over Nested Datatypes  </em></span>   </a>
			
			
					| <a href="http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/109"> Link <span class="sr-only" > to <em> Polytypic Functions Over Nested Datatypes  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[100] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Book review: &#x201c;Purely Functional Data Structures&#x201d;&#x201a; by Chris Okasaki </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 9.
        
            No. 5.
        
                Pages 577&#x2013;578.
            September,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1115-abstract.html">
			Details <span class="sr-only" > about <em> Book review: &#x201c;Purely Functional Data Structures&#x201d;&#x201a; by Chris Okasaki  </em></span> </a> |
			<a href="/publications/publication1115.bib">
			BibTeX  <span class="sr-only" > data for <em> Book review: &#x201c;Purely Functional Data Structures&#x201d;&#x201a; by Chris Okasaki  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/doi: 10.1017/S0956796899009995">
		DOI (doi: 10.1017/S0956796899009995)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[101] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Manufacturing Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Chris Okasaki, editor,
             
            <em>
            Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)</em>.
        
                Pages 1&#x2013;16.
            September,
            1999.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Columbia University&#x201a; CUCS&#x2212;023&#x2212;99&#x201a; also available from http://www.cs.columbia.edu/&#160;cdo/waaapl.html</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1117-abstract.html">
			Details <span class="sr-only" > about <em> Manufacturing Datatypes  </em></span> </a> |
			<a href="/publications/publication1117.bib">
			BibTeX  <span class="sr-only" > data for <em> Manufacturing Datatypes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[102] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Generic Programming Extension for Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Erik Meijer, editor,
             
            <em>
            Proceedings of the 3rd Haskell Workshop&#x201a; Paris&#x201a; France</em>.
        September,
            1999.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Universiteit Utrecht&#x201a; UU&#x2212;CS&#x2212;1999&#x2212;28</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1119-abstract.html">
			Details <span class="sr-only" > about <em> A Generic Programming Extension for Haskell  </em></span> </a> |
			<a href="/publications/publication1119.bib">
			BibTeX  <span class="sr-only" > data for <em> A Generic Programming Extension for Haskell  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[103] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Constructing Red&#x2212;Black Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Chris Okasaki, editor,
             
            <em>
            Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99)</em>.
        
                Pages 89&#x2013;99.
            September,
            1999.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Columbia University&#x201a; CUCS&#x2212;023&#x2212;99</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1124-abstract.html">
			Details <span class="sr-only" > about <em> Constructing Red&#x2212;Black Trees  </em></span> </a> |
			<a href="/publications/publication1124.bib">
			BibTeX  <span class="sr-only" > data for <em> Constructing Red&#x2212;Black Trees  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[104] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Straight to the Heart of Computer Science via Functional Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Robert Giegerich&#x201a; Ralf Hinze and Stefan Kurtz  </em> </p>
	
	<p class="publicationDetails"> 
            In Matthias Felleisen&#x201a; Michael Hanus and Simon Thompson, editors,
             
            <em>
            Proceedings of the Workshop on Functional and Declarative Programming in Education&#x201a; FDPE'99&#x201a; Paris&#x201a; France</em>.
        
                Pages 1&#x2013;5.
            September,
            1999.
        </p> <p
            class="publicationNote"> The proceedings appeared as a technical report of Rice University&#x201a; Rice COMP TR99&#x2212;346</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1181-abstract.html">
			Details <span class="sr-only" > about <em> Straight to the Heart of Computer Science via Functional Programming  </em></span> </a> |
			<a href="/publications/publication1181.bib">
			BibTeX  <span class="sr-only" > data for <em> Straight to the Heart of Computer Science via Functional Programming  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[105] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A New Approach to Generic Functional Programming </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;9.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        July,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1116-abstract.html">
			Details <span class="sr-only" > about <em> A New Approach to Generic Functional Programming  </em></span> </a> |
			<a href="/publications/publication1116.bib">
			BibTeX  <span class="sr-only" > data for <em> A New Approach to Generic Functional Programming  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[106] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Efficient Generalized Folds </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;8.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        June,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1120-abstract.html">
			Details <span class="sr-only" > about <em> Efficient Generalized Folds  </em></span> </a> |
			<a href="/publications/publication1120.bib">
			BibTeX  <span class="sr-only" > data for <em> Efficient Generalized Folds  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[107] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Constructing Red&#x2212;Black Trees </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;6.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        May,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1110-abstract.html">
			Details <span class="sr-only" > about <em> Constructing Red&#x2212;Black Trees  </em></span> </a> |
			<a href="/publications/publication1110.bib">
			BibTeX  <span class="sr-only" > data for <em> Constructing Red&#x2212;Black Trees  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[108] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Manufacturing Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;5.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        April,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1118-abstract.html">
			Details <span class="sr-only" > about <em> Manufacturing Datatypes  </em></span> </a> |
			<a href="/publications/publication1118.bib">
			BibTeX  <span class="sr-only" > data for <em> Manufacturing Datatypes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[109] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Functions Over Nested Datatypes (Extended Abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Rafael Dueire Lins, editor,
             
            <em>
            Proceedings of the 3rd Latin&#x2212;American Conference on Functional Programming (CLaPF '99)</em>.
        March,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4859-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Functions Over Nested Datatypes (Extended Abstract)  </em></span> </a> |
			<a href="/publications/publication4859.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Functions Over Nested Datatypes (Extended Abstract)  </em></span>   </a>
			
			
					| <a href="http://www.di.ufpe.br/~clapf99/"> Link <span class="sr-only" > to <em> Polytypic Functions Over Nested Datatypes (Extended Abstract)  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[110] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Perfect Trees and Bit&#x2212;reversal Permutations </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;4.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        March,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1114-abstract.html">
			Details <span class="sr-only" > about <em> Perfect Trees and Bit&#x2212;reversal Permutations  </em></span> </a> |
			<a href="/publications/publication1114.bib">
			BibTeX  <span class="sr-only" > data for <em> Perfect Trees and Bit&#x2212;reversal Permutations  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[111] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Programming With Ease </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;2.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        February,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1122-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Programming With Ease  </em></span> </a> |
			<a href="/publications/publication1122.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Programming With Ease  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[112] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Standard Libraries for the Haskell&#xa0;98 Programming Language </strong> </p>
	    <p class="publicationAuthors"> <em> Simon Peyton Jones [editor]&#x201a; John Hughes [editor]&#x201a; Simon&#x201a; Lennart Augustsson&#x201a; Dave Barton&#x201a; Brian Boutel&#x201a; Warren Burton&#x201a; Simon Fraser&#x201a; Joseph Fasel&#x201a; Kevin Hammond&#x201a; Ralf Hinze&#x201a; Paul Hudak&#x201a; Thomas Johnsson&#x201a; Mark Jones&#x201a; John Launchbury&#x201a; Erik Meijer&#x201a; John Peterson&#x201a; Alastair Reid&#x201a; Colin Runciman and Philip Wadler  </em> </p>
	
	<p class="publicationDetails"> Available from <span style="font-family: monospace;">http://www.haskell.org/definition/</span>.
        February,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8046-abstract.html">
			Details <span class="sr-only" > about <em> Standard Libraries for the Haskell&#xa0;98 Programming Language  </em></span> </a> |
			<a href="/publications/publication8046.bib">
			BibTeX  <span class="sr-only" > data for <em> Standard Libraries for the Haskell&#xa0;98 Programming Language  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[113] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Standard Libraries for the Haskell&#xa0;98 Programming Language </strong> </p>
	    <p class="publicationAuthors"> <em> Simon Peyton Jones [editor]&#x201a; John Hughes [editor]&#x201a; Lennart Augustsson&#x201a; Dave Barton&#x201a; Brian Boutel&#x201a; Warren Burton&#x201a; Simon Fraser&#x201a; Joseph Fasel&#x201a; Kevin Hammond&#x201a; Ralf Hinze&#x201a; Paul Hudak&#x201a; Thomas Johnsson&#x201a; Mark Jones&#x201a; John Launchbury&#x201a; Erik Meijer&#x201a; John Peterson&#x201a; Alastair Reid&#x201a; Colin Runciman and Philip Wadler  </em> </p>
	
	<p class="publicationDetails"> Available from <a href="http://www.haskell.org/definition/">http://www.haskell.org/definition/</a>.
        February,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4863-abstract.html">
			Details <span class="sr-only" > about <em> Standard Libraries for the Haskell&#xa0;98 Programming Language  </em></span> </a> |
			<a href="/publications/publication4863.bib">
			BibTeX  <span class="sr-only" > data for <em> Standard Libraries for the Haskell&#xa0;98 Programming Language  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[114] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Haskell&#xa0;98 &#x2014; A Non&#x2212;strict&#x201a; Purely Functional Language </strong> </p>
	    <p class="publicationAuthors"> <em> Simon Peyton Jones [editor]&#x201a; John Hughes [editor]&#x201a; Simon&#x201a; Lennart Augustsson&#x201a; Dave Barton&#x201a; Brian Boutel&#x201a; Warren Burton&#x201a; Simon Fraser&#x201a; Joseph Fasel&#x201a; Kevin Hammond&#x201a; Ralf Hinze&#x201a; Paul Hudak&#x201a; Thomas Johnsson&#x201a; Mark Jones&#x201a; John Launchbury&#x201a; Erik Meijer&#x201a; John Peterson&#x201a; Alastair Reid&#x201a; Colin Runciman and Philip Wadler  </em> </p>
	
	<p class="publicationDetails"> Available from <span style="font-family: monospace;">http://www.haskell.org/definition/</span>.
        February,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1107-abstract.html">
			Details <span class="sr-only" > about <em> Haskell&#xa0;98 &#x2014; A Non&#x2212;strict&#x201a; Purely Functional Language  </em></span> </a> |
			<a href="/publications/publication1107.bib">
			BibTeX  <span class="sr-only" > data for <em> Haskell&#xa0;98 &#x2014; A Non&#x2212;strict&#x201a; Purely Functional Language  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[115] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic values possess polykinded types </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;15.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        December,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1111-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic values possess polykinded types  </em></span> </a> |
			<a href="/publications/publication1111.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic values possess polykinded types  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[116] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Programming With Ease (Extended Abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Aart Middeldorp and Taisuke Sato, editors,
             
            <em>
            Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS '99)</em>.
        
            Vol. 1722
                of Lecture Notes in Computer Science.
        
                Pages 21&#x2212;36.
            Springer Berlin / Heidelberg.
        November,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4857-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Programming With Ease (Extended Abstract)  </em></span> </a> |
			<a href="/publications/publication4857.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Programming With Ease (Extended Abstract)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/10705424\_2">
		DOI (10.1007/10705424\_2)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[117] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Functional Pearl: Explaining binomial heaps </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>JFP</em>.
        
            Vol. 9.
        
            No. 1.
        
                Pages 93&#x2212;104.
            January,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1125-abstract.html">
			Details <span class="sr-only" > about <em> Functional Pearl: Explaining binomial heaps  </em></span> </a> |
			<a href="/publications/publication1125.bib">
			BibTeX  <span class="sr-only" > data for <em> Functional Pearl: Explaining binomial heaps  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1017/S0956796899003317">
		DOI (10.1017/S0956796899003317)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[118] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deriving monad transformers </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;99&#x2212;1.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        January,
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1123-abstract.html">
			Details <span class="sr-only" > about <em> Deriving monad transformers  </em></span> </a> |
			<a href="/publications/publication1123.bib">
			BibTeX  <span class="sr-only" > data for <em> Deriving monad transformers  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[119] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Prological Features in a Functional Setting &#x2014; Axioms and Implementations </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In Masahiko Sato and Yoshihito Toyama, editors,
             
            <em>
            Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)</em>.
        
                Pages 98&#x2013;122.
            Singapore&#x201a; New Jersey&#x201a; London&#x201a; Hong Kong.
        April,
            1998.
        World Scientific.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1127-abstract.html">
			Details <span class="sr-only" > about <em> Prological Features in a Functional Setting &#x2014; Axioms and Implementations  </em></span> </a> |
			<a href="/publications/publication1127.bib">
			BibTeX  <span class="sr-only" > data for <em> Prological Features in a Functional Setting &#x2014; Axioms and Implementations  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[120] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Numerical Representations as Higher&#x2212;Order Nested Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;98&#x2212;12.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        December,
            1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1129-abstract.html">
			Details <span class="sr-only" > about <em> Numerical Representations as Higher&#x2212;Order Nested Datatypes  </em></span> </a> |
			<a href="/publications/publication1129.bib">
			BibTeX  <span class="sr-only" > data for <em> Numerical Representations as Higher&#x2212;Order Nested Datatypes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[121] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalizing Generalized Tries </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;98&#x2212;11.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        November,
            1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1130-abstract.html">
			Details <span class="sr-only" > about <em> Generalizing Generalized Tries  </em></span> </a> |
			<a href="/publications/publication1130.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalizing Generalized Tries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[122] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polytypic Functions Over Nested Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;98&#x2212;10.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        October,
            1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1128-abstract.html">
			Details <span class="sr-only" > about <em> Polytypic Functions Over Nested Datatypes  </em></span> </a> |
			<a href="/publications/publication1128.bib">
			BibTeX  <span class="sr-only" > data for <em> Polytypic Functions Over Nested Datatypes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[123] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Projektionsbasierte Striktheitsanalyse </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Ausgezeichnete Informatikdissertationen 1996</em>.
        
                Pages 46&#x2212;61.
            B.G.&#xa0;Teubner, Stuttgart.
        1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1126-abstract.html">
			Details <span class="sr-only" > about <em> Projektionsbasierte Striktheitsanalyse  </em></span> </a> |
			<a href="/publications/publication1126.bib">
			BibTeX  <span class="sr-only" > data for <em> Projektionsbasierte Striktheitsanalyse  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[124] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Efficient Monadic&#x2212;style Backtracking </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;96&#x2212;9.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        October,
            1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1131-abstract.html">
			Details <span class="sr-only" > about <em> Efficient Monadic&#x2212;style Backtracking  </em></span> </a> |
			<a href="/publications/publication1131.bib">
			BibTeX  <span class="sr-only" > data for <em> Efficient Monadic&#x2212;style Backtracking  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[125] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Projection&#x2212;based Strictness Analysis &#x2014; Theoretical and Practical Aspects </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis  ,
                type= Inauguraldissertation.
        Universit&#xe4;t Bonn.
        November,
            1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1132-abstract.html">
			Details <span class="sr-only" > about <em> Projection&#x2212;based Strictness Analysis &#x2014; Theoretical and Practical Aspects  </em></span> </a> |
			<a href="/publications/publication1132.bib">
			BibTeX  <span class="sr-only" > data for <em> Projection&#x2212;based Strictness Analysis &#x2014; Theoretical and Practical Aspects  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[126] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deduktive Datenbanken &#x2014; Eine Einf&#xfc;hrung aus der Sicht der logischen Programmierung </strong> </p>
	    <p class="publicationAuthors"> <em> Armin B. Cremers&#x201a; Ulrike Griefahn and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> Vieweg, Braunschweig/Wiesbaden.
        1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1185-abstract.html">
			Details <span class="sr-only" > about <em> Deduktive Datenbanken &#x2014; Eine Einf&#xfc;hrung aus der Sicht der logischen Programmierung  </em></span> </a> |
			<a href="/publications/publication1185.bib">
			BibTeX  <span class="sr-only" > data for <em> Deduktive Datenbanken &#x2014; Eine Einf&#xfc;hrung aus der Sicht der logischen Programmierung  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[127] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Die Rolle der mathematischen Logik in der K&#xfc;nstlichen Intelligenz </strong> </p>
	    <p class="publicationAuthors"> <em> Armin B. Cremers&#x201a; Elmar Eder and Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            K&#xfc;nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit&#x201a; Band 1: Diskussionsgrundlage</em>.
        Verein Deutscher Ingenieure.
        1993.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1186-abstract.html">
			Details <span class="sr-only" > about <em> Die Rolle der mathematischen Logik in der K&#xfc;nstlichen Intelligenz  </em></span> </a> |
			<a href="/publications/publication1186.bib">
			BibTeX  <span class="sr-only" > data for <em> Die Rolle der mathematischen Logik in der K&#xfc;nstlichen Intelligenz  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[128] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Categorical Abstract Machine: Basics and Enhancments </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> 
            No. IAI&#x2212;TR&#x2212;92&#x2212;1.
        Institut f&#xfc;r Informatik III&#x201a; Universit&#xe4;t Bonn.
        December,
            1992.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1135-abstract.html">
			Details <span class="sr-only" > about <em> The Categorical Abstract Machine: Basics and Enhancments  </em></span> </a> |
			<a href="/publications/publication1135.bib">
			BibTeX  <span class="sr-only" > data for <em> The Categorical Abstract Machine: Basics and Enhancments  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[129] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Einf&#xfc;hrung in die funktionale Programmierung mit Miranda </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails"> B.G.&#xa0;Teubner, Stuttgart.
        1992.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1134-abstract.html">
			Details <span class="sr-only" > about <em> Einf&#xfc;hrung in die funktionale Programmierung mit Miranda  </em></span> </a> |
			<a href="/publications/publication1134.bib">
			BibTeX  <span class="sr-only" > data for <em> Einf&#xfc;hrung in die funktionale Programmierung mit Miranda  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[130] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Einf&#xfc;hrung in die funktionale Programmierung &#x2212; Sprachen&#x201a; Spezifikationen&#x201a; Grundlagen&#x201a; Implementierung </strong> </p>
	    <p class="publicationAuthors"> <em> R. Hinze  </em> </p>
	
	<p class="publicationDetails"> 1992.
        </p> <p
            class="publicationNote"> Vorlesungsskript SS 92&#x201a; Universit&#xe4;t Bonn&#x201a; Institut f&#xfc;r Informatik III</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1133-abstract.html">
			Details <span class="sr-only" > about <em> Einf&#xfc;hrung in die funktionale Programmierung &#x2212; Sprachen&#x201a; Spezifikationen&#x201a; Grundlagen&#x201a; Implementierung  </em></span> </a> |
			<a href="/publications/publication1133.bib">
			BibTeX  <span class="sr-only" > data for <em> Einf&#xfc;hrung in die funktionale Programmierung &#x2212; Sprachen&#x201a; Spezifikationen&#x201a; Grundlagen&#x201a; Implementierung  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[131] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Typsysteme und Typinferenzsysteme </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze  </em> </p>
	
	<p class="publicationDetails">  Master's Thesis  ,
                type= Diplomarbeit.
        Universit&#xe4;t Dortmund.
        May,
            1989.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4852-abstract.html">
			Details <span class="sr-only" > about <em> Typsysteme und Typinferenzsysteme  </em></span> </a> |
			<a href="/publications/publication4852.bib">
			BibTeX  <span class="sr-only" > data for <em> Typsysteme und Typinferenzsysteme  </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]