De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0,1,ω}, or Is It... In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 8:1-8:28. (doi: 10.4230/LIPIcs.ECOOP.2023.8)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 4:1-4:3. (doi: 10.4230/DARTS.9.2.4)

De Muijnck-Hughes, J. , Allais, G. and Brady, E. (2023) Type Theory as a Language Workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023), Delft, The Netherlands, 05 April 2023, 9:1-9:13. ISBN 9783959772679 (doi: 10.4230/OASIcs.EVCS.2023.9)

Graversen, E., Phillips, I. and Yoshida, N. (2022) Event structures for the reversible early internal π-calculus. Journal of Logical and Algebraic Methods in Programming, 124, 100720. (doi: 10.1016/j.jlamp.2021.100720)

Graversen, E., Phillips, I. and Yoshida, N. (2021) Event structure semantics of (controlled) reversible CCS. Journal of Logical and Algebraic Methods in Programming, 121, 100686. (doi: 10.1016/j.jlamp.2021.100686)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 20. ISBN 9783959771542 (doi: 10.4230/LIPIcs.ECOOP.2020.20)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Series, 6(2), 2. (doi: 10.4230/DARTS.6.2.2)