Faris Abou-Saleh

According to our database, Faris Abou-Saleh authored at least 8 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Coalgebraic Aspects of Bidirectional Computation.

Faris Abou-Saleh, James McKinna, Jeremy Gibbons

J. Object Technol., 2017

2016

Reflections on Monadic Lenses.

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Proceedings of the A List of Successes That Can Change the World, 2016

Introduction to Bidirectional Transformations.

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Proceedings of the Bidirectional Transformations, 2016

2015

Notions of Bidirectional Computation and Entangled State Monads.

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

A coalgebraic semantics for imperative programming languages.

Faris Abou-Saleh

PhD thesis, 2014

Entangled State Monads.

James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Comodels and Effects in Mathematical Operational Semantics.

Faris Abou-Saleh, Dirk Pattinson

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2011

Towards Effects in Mathematical Operational Semantics.

Faris Abou-Saleh, Dirk Pattinson

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011