Follow
Amr Hany Saleh
Title
Cited by
Cited by
Year
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
212018
Efficient algebraic effect handlers for Prolog
AH Saleh, T Schrijvers
Theory and Practice of Logic Programming 16 (5-6), 884-898, 2016
92016
CONDEnSe: contract based design synthesis
CAR dos Santos, AH Saleh, T Schrijvers, M Nicolai
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
82019
Explicit effect subtyping
G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers
Journal of Functional Programming 30, e15, 2020
62020
Transforming Delimited Control: Achieving Faster Effect Handlers.
AH Saleh
ICLP (Technical Communications) 1433, 2015
32015
Constraint reasoning with local search for continuous optimization
AH Saleh
Universidade Nova de Lisboa, 2014
32014
Efficient Algebraic Effect Handlers
AH Saleh
KU Leuven, 2019
22019
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
CAR Santos, T Schrijvers, AH Saleh, M Nicolai
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
12021
Modeling dependent events with CHRiSM for probabilistic abduction
H Christiansen, AH Saleh
Eighth International Workshop, 48, 2011
12011
Explicit effect subtyping (Extended version)
AHS Saleh, G Karachalias, M Pretnar, T Schrijvers
CW Reports, 2018
2018
RMAS ArtSapience RoboCup Soccer Simulation 2D Team Description
S Abdennadher, A Rashed, A Saleh, C Sabty, C Antoniou, M Abbas, ...
CONDEnSe: Contract-Based Design Synthesis
CA Santos, AH Saleh, T Schrijvers, M Nicolai
The system can't perform the operation now. Try again later.
Articles 1–12