Picture of small jelly fish in ocean

Open Access research that better understands changing marine ecologies...

Strathprints makes available scholarly Open Access content by researchers in the Department of Mathematics & Statistics.

Mathematics & Statistics hosts the Marine Population Modelling group which is engaged in research into topics surrounding marine resource modelling and ecology. Recent work has included important developments in the population modelling of marine species.

Explore the Open Access research of Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Author or creator

[up] Up a level
Group by: Publication Date | Item type | No Grouping
Number of items: 10.

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.

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

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.

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

This list was generated on Thu Nov 21 11:51:11 2024 GMT.