Amr Hany Saleh
Amr Hany Saleh
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
European Symposium on Programming, 327-354, 2018
112018
Efficient compilation of algebraic effects and handlers
M Pretnar, AHS Saleh, A Faes, T Schrijvers
CW Reports, 2017
102017
Efficient algebraic effect handlers for prolog
AH Saleh, T Schrijvers
arXiv preprint arXiv:1608.00816, 2016
62016
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
32014
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
12019
CONDEnSe: Contract-Based Design Synthesis
CA Ribeiro dos Santos, A Saleh, T Schrijvers, M Nicolai
Proceedings of the 22th ACM/IEEE International Conference on Model Driven …, 2019
12019
Modeling dependent events with CHRiSM for probabilistic abduction
H Christiansen, AH Saleh
Eighth International Workshop, 48, 2011
12011
Explicit Effect Subtyping
G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers
arXiv preprint arXiv:2005.13814, 2020
2020
Efficient Algebraic Effect Handlers
AH Saleh
KU Leuven, 2019
2019
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–13