Travelled to:1 × Greece
2 × Italy
Collaborated with:J.McKinna J.Gibbons D.Pattinson J.Cheney P.Stevens
Talks about:coalgebra (1) mathemat (1) bidirect (1) entangl (1) comodel (1) semant (1) effect (1) comput (1) aspect (1) state (1)
Person: Faris Abou-Saleh
DBLP: Abou-Saleh:Faris
Contributed to:
20152014
2013Wrote 3 papers:
- BX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional
- Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
- BX-2014-CheneyMSGA #monad
- Entangled State Monads (JC, JM, PS, JG, FAS), pp. 108–111.
- FoSSaCS-2013-Abou-SalehP #semantics
- Comodels and Effects in Mathematical Operational Semantics (FAS, DP), pp. 129–144.