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 Journal or other publication

Up a level

Group by: Publication Date | Item type | No Grouping

Number of items: 4.

Atkey, Robert (2024) Polynomial time and dependent types. Proceedings of the ACM on Programming Languages (PACMPL), 8 (POPL). 2288–2317. 76. ISSN 2475-1421

Maillard, Kenji and Ahman, Danel and Atkey, Robert and Martínez, Guido and Hritcu, Catalin and Rivas, Exequiel and Tanter, Éric (2019) Dijkstra monads for all. Proceedings of the ACM on Programming Languages (PACMPL), 3 (ICFP). 104. ISSN 2475-1421

Clairambault, Pierre and De Visme, Marc and Winskel, Glynn (2019) Game semantics for quantum programming. Proceedings of the ACM on Programming Languages (PACMPL), 3 (POPL). 32. ISSN 2475-1421

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Proceedings of the ACM on Programming Languages (PACMPL), 2 (ICFP). pp. 1-30. 90. ISSN 2475-1421

This list was generated on Sat Dec 21 19:00:35 2024 GMT.