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

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

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


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

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

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

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

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

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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Comparing Datatype Generic Libraries in Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Functional Programming</em>.
        2009.
        </p> <p
            class="publicationNote"> Revised version of the Haskell Symposium 2008 paper</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3542-abstract.html">
			Details <span class="sr-only" > about <em> Comparing Datatype Generic Libraries in Haskell  </em></span> </a> |
			<a href="/publications/publication3542.bib">
			BibTeX  <span class="sr-only" > data for <em> Comparing Datatype Generic Libraries in Haskell  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Combining Syntactic and Semantic Bidirectionalization </strong> </p>
	    <p class="publicationAuthors"> <em> Janis Voigtlander&#x201a; Zhenjiang Hu&#x201a; Kazutaka Matsuda and Meng Wang  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ACM SIGPLAN International Conference on Functional Programming</em>.
        ACM.
        2010.
        </p> <p
            class="publicationNote"> To Appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3618-abstract.html">
			Details <span class="sr-only" > about <em> Combining Syntactic and Semantic Bidirectionalization  </em></span> </a> |
			<a href="/publications/publication3618.bib">
			BibTeX  <span class="sr-only" > data for <em> Combining Syntactic and Semantic Bidirectionalization  </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>
            Gradual Refinement: Blending Pattern Matching with Data Abstraction </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang&#x201a; Jeremy Gibbons&#x201a; Kazutaka Matsuda and Zhenjiang Hu  </em> </p>
	
	<p class="publicationDetails"> 
            In Jules Desharnais, editor,
             
            <em>
            Mathematics of Program Construction</em>.
        
            Vol. 6120
                of LNCS.
        2010.
        </p> <p
            class="publicationNote"> See revised journal version "Refactoring Pattern Matching"</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3546-abstract.html">
			Details <span class="sr-only" > about <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span> </a> |
			<a href="/publications/publication3546.bib">
			BibTeX  <span class="sr-only" > data for <em> Gradual Refinement: Blending Pattern Matching with Data Abstraction  </em></span>   </a>
			
			

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

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

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            EffectiveAdvice: Disciplined Advice with Explicit Effects </strong> </p>
	    <p class="publicationAuthors"> <em> Tom Schrijvers Bruno C. d. S. Oliveira and William R. Cook  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ACM SIG Proceedings of the 9th International Conference on Aspect&#x2212;Oriented Software Development (AOSD)</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3543-abstract.html">
			Details <span class="sr-only" > about <em> EffectiveAdvice: Disciplined Advice with Explicit Effects  </em></span> </a> |
			<a href="/publications/publication3543.bib">
			BibTeX  <span class="sr-only" > data for <em> EffectiveAdvice: Disciplined Advice with Explicit Effects  </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>
            What Does Aspect&#x2212;Oriented Programming Mean for Functional Programmers? </strong> </p>
	    <p class="publicationAuthors"> <em> Meng Wang and Bruno C. d. S. Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            In Patrik Jansson, editor,
             
            <em>
            Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09)</em>.
        ACM.
        August,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3158-abstract.html">
			Details <span class="sr-only" > about <em> What Does Aspect&#x2212;Oriented Programming Mean for Functional Programmers?  </em></span> </a> |
			<a href="/publications/publication3158.bib">
			BibTeX  <span class="sr-only" > data for <em> What Does Aspect&#x2212;Oriented Programming Mean for Functional Programmers?  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2282/wgp14-wang.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> What Does Aspect&#x2212;Oriented Programming Mean for Functional Programmers?  </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>
            Modular Visitor Components: A Practical Solution to the Expression Families Problem </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira  </em> </p>
	
	<p class="publicationDetails"> 
            In Sophia Drossopoulou, editor,
             
            <em>
            23rd European Conference on Object Oriented Programming (ECOOP)</em>.
        July,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2847-abstract.html">
			Details <span class="sr-only" > about <em> Modular Visitor Components: A Practical Solution to the Expression Families Problem  </em></span> </a> |
			<a href="/publications/publication2847.bib">
			BibTeX  <span class="sr-only" > data for <em> Modular Visitor Components: A Practical Solution to the Expression Families Problem  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> Modular Visitor Components: A Practical Solution to the Expression Families Problem  </em></span>

					    </a>


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

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

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

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

					    </a>


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

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

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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Comparing Libraries for Generic Programming in Haskell </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Haskell Symposium</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3539-abstract.html">
			Details <span class="sr-only" > about <em> Comparing Libraries for Generic Programming in Haskell  </em></span> </a> |
			<a href="/publications/publication3539.bib">
			BibTeX  <span class="sr-only" > data for <em> Comparing Libraries for Generic Programming in Haskell  </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>
            Unfolding Abstract Datatypes </strong> </p>
	    <p class="publicationAuthors"> <em> Jeremy Gibbons  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Mathematics of Program Construction</em>.
        July,
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1385-abstract.html">
			Details <span class="sr-only" > about <em> Unfolding Abstract Datatypes  </em></span> </a> |
			<a href="/publications/publication1385.bib">
			BibTeX  <span class="sr-only" > data for <em> Unfolding Abstract Datatypes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-540-70594-9_8">
		DOI (10.1007/978-3-540-70594-9_8)
		</a> 
					| <a href="http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/adt.pdf"> Download (pdf)  <span class="sr-only" > of <em> Unfolding Abstract Datatypes  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

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

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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Genericity&#x201a; extensibility and type&#x2212;safety in the Visitor pattern </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis 2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication500-abstract.html">
			Details <span class="sr-only" > about <em> Genericity&#x201a; extensibility and type&#x2212;safety in the Visitor pattern  </em></span> </a> |
			<a href="/publications/publication500.bib">
			BibTeX  <span class="sr-only" > data for <em> Genericity&#x201a; extensibility and type&#x2212;safety in the Visitor pattern  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> Genericity&#x201a; extensibility and type&#x2212;safety in the Visitor pattern  </em></span>

					    </a>


				    
					| <a href="http://www.comlab.ox.ac.uk/people/Bruno.Oliveira/Thesis.pdf"> Download (pdf)  <span class="sr-only" > of <em> Genericity&#x201a; extensibility and type&#x2212;safety in the Visitor pattern  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Different Aspects of Monads and Mixins </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira  </em> </p>
	
	<p class="publicationDetails"> 2009.
        </p> <p
            class="publicationNote"> Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2965-abstract.html">
			Details <span class="sr-only" > about <em> The Different Aspects of Monads and Mixins  </em></span> </a> |
			<a href="/publications/publication2965.bib">
			BibTeX  <span class="sr-only" > data for <em> The Different Aspects of Monads and Mixins  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> The Different Aspects of Monads and Mixins  </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>
            Objects to Unify Type Classes and GADTs </strong> </p>
	    <p class="publicationAuthors"> <em> Bruno C. d. S. Oliveira and Martin Sulzmann  </em> </p>
	
	<p class="publicationDetails"> 2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3545-abstract.html">
			Details <span class="sr-only" > about <em> Objects to Unify Type Classes and GADTs  </em></span> </a> |
			<a href="/publications/publication3545.bib">
			BibTeX  <span class="sr-only" > data for <em> Objects to Unify Type Classes and GADTs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]