Picture of molecule

Open Access research that better understands matter at a molecular level...

Strathprints makes available Open Access scholarly outputs by researchers based within the Department of Chemical & Process Engineering. Key areas of research specialism include the manufacture and application of porous materials and metal-organic frameworks; the properties and processing of polymeric materials; the nucleation, growth and separation of crystals; the applications of electrochemistry to coatings, metal ion recovery, and water clean-up.

Explore some of this Open Access research from Chemical & Process Engineering. Or explore all Strathclyde Open Access research...

Browse by Journal or other publication

Group by: Publication Date | Item type | No Grouping
Jump to: Article
Number of items: 8.

Article

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2021) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Journal of Functional Programming, 31. e22. ISSN 0956-7968

Convent, Lukas and Lindley, Sam and McBride, Conor and McLaughlin, Craig (2020) Doo bee doo bee doo. Journal of Functional Programming, 30. e9. ISSN 0956-7968

Hillerström, Daniel and Lindley, Sam and Atkey, Bob (2020) Effect handlers via generalised continuations. Journal of Functional Programming, 30. e5. ISSN 0956-7968

Atkey, Robert and Johann, Patricia (2015) Interleaving data and effects. Journal of Functional Programming, 25. e20. ISSN 0956-7968

Dagand, Pierre-Évariste and McBride, Conor (2014) Transporting functions across ornaments. Journal of Functional Programming, 24 (2-3). pp. 316-383. ISSN 0956-7968

Atkey, Robert (2009) Parameterised notions of computation. Journal of Functional Programming, 19 (3-4). pp. 335-376. ISSN 0956-7968

McBride, C. and Uustalu, T. (2009) Preface. Journal of Functional Programming, 19 (3-4). pp. 263-264. ISSN 0956-7968

Mcbride, Conor and Paterson, Ross (2008) Applicative programming with effects. Journal of Functional Programming, 18 (1). pp. 1-13. ISSN 0956-7968

This list was generated on Wed Feb 1 02:32:51 2023 GMT.