ICTM
Avenue Georges Lemaître 4-6/L4.05.01
1348 Louvain-la-Neuve
Assistant de recherche
ICTM
Avenue Georges Lemaître 4-6/L4.05.01
1348 Louvain-la-Neuve
Haeri, Seyed Hossein ; Van Roy, Peter. Piecewise Relative Observational Purity. ProWeb 2020 (Porto, Portugal, 23/03/2020).
Haeri, Seyed Hossein. Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017) (Gammarth, Tunisia, du 06/04/2017 au 09/04/2017).
Haeri, Seyed Hossein ; Van Roy, Peter. An Operational Semantics for Multicasting Systems with Monotonic Values. 28th Nordic Workshop on Programming Theory (Rold StorKro (North Jutland), Denmark, du 31/10/2017 au 02/11/2016). In: Informal Proceedings of the 28th Nordic Workshop on Programming Theory, 2016.
Meiklejohn, Christopher ; Haeri, Seyed Hossein ; Van Roy, Peter. Declarative, sliding window aggregations for computations at the edge. 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, du 09/01/2016 au 12/01/2016). In: Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, , p. 32-37 (2016). doi:10.1109/CCNC.2016.7444727.
Haeri, Seyed Hossein ; Schupp, Sibylle. Expression Compatibility Problem. 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016) (Tokyo, Japan, du 28/03/2016 au 31/01/2017). In: , 2016.
Haeri, Seyed Hossein ; Van Roy, Peter ; Baquero, Carlos ; Meiklejohn, Christopher. Worlds of Events: Deduction with Partial Knowledge about Causality. In: Electronic Proceedings in Theoretical Computer Science, Vol. 223, no. 1, p. 113-127 (2016). doi:10.4204/EPTCS.223.8.
Haeri, Seyed Hossein ; Van Roy, Peter. A Family of λ-Calculi with Ports (), 2020. 22 p.
Haeri, Seyed Hossein ; Van Roy, Peter. Purely Functional Distributed Systems Programming, 2020. 7 p.
Haeri, Seyed Hossein ; Van Roy, Peter. Distributed Lambda Calculus, 2019. 5 p.