[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by title, A Theory of Least Change for Bidirectional Transformations"></meta><meta name="description" content="Publications, by title,A Theory of Least Change for Bidirectional Transformations, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Bidirectional Transformations: 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/tlcbx/">Bidirectional Transformations</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>Bidirectional Transformations: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/tlcbx.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/tlcbx.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/tlcbx.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/tlcbx.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

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

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

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

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

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

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

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

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

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