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

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

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


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

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

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

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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Extensible and Modular Generics for the Masses </strong> </p>
	    <p class="publicationAuthors"> <em> Ralf Hinze Bruno C. d. S. Oliveira and Andres Loeh  </em> </p>
	
	<p class="publicationDetails"> 
            In Henrik Nilsson, editor,
             
            <em>
            Trends in Functional Programming</em>.
        2007.
        </p> <p
            class="publicationNote"> Best student paper award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3540-abstract.html">
			Details <span class="sr-only" > about <em> Extensible and Modular Generics for the Masses  </em></span> </a> |
			<a href="/publications/publication3540.bib">
			BibTeX  <span class="sr-only" > data for <em> Extensible and Modular Generics for the Masses  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

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

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

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

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

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

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

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

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

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

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