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
142018
Efficient compilation of algebraic effects and handlers
M Pretnar, AH Saleh, A Faes, T Schrijvers
CW reports, volume CW708, Department of Computer Science, KU Leuven, 2017
102017
Efficient algebraic effect handlers for prolog
AH Saleh, T Schrijvers
arXiv preprint arXiv:1608.00816, 2016
62016
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
42019
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
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)
AH 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