Faris Abou-Saleh

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 4

Top Topics

Multiresolution

Datalog Queries

Operational Semantics

Top Venues

A List of Successes That Can Change the World

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Faris Abou-Saleh, James McKinna, Jeremy Gibbons
Coalgebraic Aspects of Bidirectional Computation. J. Object Technol. 16 (1) (2017)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. CoRR (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Introduction to Bidirectional Transformations. Bidirectional Transformations (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. A List of Successes That Can Change the World (2016)
Faris Abou-Saleh, James McKinna, Jeremy Gibbons
Coalgebraic Aspects of Bidirectional Computation. Bx@STAF (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of Bidirectional Computation and Entangled State Monads. MPC (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of bidirectional computation and entangled state monads. CoRR (2015)
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
Entangled State Monads. EDBT/ICDT Workshops (2014)
Faris Abou-Saleh, Dirk Pattinson
Comodels and Effects in Mathematical Operational Semantics. FoSSaCS (2013)
Faris Abou-Saleh, Dirk Pattinson
Towards Effects in Mathematical Operational Semantics. MFPS (2011)