Explicit effect subtyping AH Saleh, G Karachalias, M Pretnar, T Schrijvers European Symposium on Programming, 327-354, 2018 | 19 | 2018 |
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 | 12 | 2017 |
Efficient algebraic effect handlers for Prolog AH Saleh, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 884-898, 2016 | 9 | 2016 |
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 | 6 | 2019 |
Explicit effect subtyping G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers Journal of Functional Programming 30, 2020 | 3 | 2020 |
Transforming Delimited Control: Achieving Faster Effect Handlers. AH Saleh ICLP (Technical Communications) 1433, 2015 | 3 | 2015 |
Constraint reasoning with local search for continuous optimization AH Saleh | 3 | 2014 |
Efficient Algebraic Effect Handlers AH Saleh KU Leuven, 2019 | 1 | 2019 |
Modeling dependent events with CHRiSM for probabilistic abduction H Christiansen, AH Saleh Eighth International Workshop, 48, 2011 | 1 | 2011 |
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts CAR Santos, T Schrijvers, AH Saleh, M Nicolai International Symposium on Formal Methods, 776-787, 2021 | | 2021 |
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts CA Ribeiro dos Santos, T Schrijvers, AH Saleh, M Nicolai Springer LNCS, 2021 | | 2021 |
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 | | |