Browse by Author or creator

2024

de Muijnck-Hughes, Jan and Noble, James (2024) Colouring flags with Dafny & Idris. In: Dafny 2024, 2024-01-14 - 2024-01-14, Institution of Engineering and Technology.

2023

Muijnck-Hughes, Jan de and Urlea, Cristian and Voinea, Laura and Vanderbauwhede, Wim (2023) Capable : a mechanised imperative language with native multiparty session types. In: ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, 2023-10-22 - 2023-10-27.

Muijnck-Hughes, Jan de and Vanderbauwhede, Wim (2023) Wiring circuits is easy as 0, 1, omega, or is it... (Artifact). Dagstuhl Artifacts Ser., 9 (2). 4:1-4:3.

de Muijnck-Hughes, Jan and Vanderbauwhede, Wim; Ali, Karim and Salvaneschi, Guido, eds. (2023) Wiring circuits is easy as {0,1,w}, or is it... In: 37th European Conference on Object-Oriented Programming, ECOOP 2023. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, USA. ISBN 9783959772815

de Muijnck-Hughes, Jan and Allais, Guillaume and Brady, Edwin; Lämmel, Ralf and Mosses, Peter and Steimann, Friedrich, eds. (2023) Type theory as a language workbench. In: Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), 109 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany. ISBN 9783959772679

2020

de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim; Hirschfeld, Robert and Pape, Tobias, eds. (2020) A framework for resource dependent EDSLs in a dependently typed language. In: 34th European Conference on Object-Oriented Programming, ECOOP 2020. Leibniz International Proceedings in Informatics, LIPIcs, 166 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959771542

Muijnck-Hughes, Jan de and Brady, Edwin C. and Vanderbauwhede, Wim (2020) A framework for resource dependent EDSLs in a dependently typed language (Artifact). Dagstuhl Artifacts Ser., 6 (2). 02:1-02:3.

2019

de Muijnck-Hughes, Jan and Vanderbauwhede, Wim; Donaldson, Alastair F., ed. (2019) A typing discipline for hardware interfaces. In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, GBR. ISBN 9783959771115

Muijnck-Hughes, Jan de and Vanderbauwhede, Wim (2019) A typing discipline for hardware interfaces (Artifact). Dagstuhl Artifacts Ser., 5 (2). 14:1-14:3.

De Muijnck-Hughes, Jan and Vanderbauwhede, Wim and Brady, Edwin (2019) Value-dependent session design in a dependently typed language. Electronic Proceedings in Theoretical Computer Science, EPTCS, 291. pp. 47-59. ISSN 2075-2180