Picture of automobiles stacked in industrial facility

Open Access research that power business decision making...

Strathprints makes available scholarly Open Access research by the Department of Management Science. This includes research that seeks to develop theory, solution methods and algorithms for confronting solving optimisation and predictive analytics problems arising from real-world situations, such as those arising in manufacturing, logistics, health and energy.

Management Science also explores the application of management science within healthcare organisations, the deployment of data analytics in the creation of risk-based decision support systems, and supply chain risk management.

Explore research outputs by Management Science -- 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
Jump to: 2020 | 2019 | 2018 | 2017 | 2014
Number of items: 5.

2020

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

2019

Allais, Guillaume; Darais, David and Gibbons, Jeremy, eds. (2019) Generic level polymorphic N-ary functions. In: TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019. ACM, New York, NY, DEU, pp. 14-26. ISBN 9781450368155

2018

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

2017

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James; Bertot, Yves and Vafeiadis, Viktor, eds. (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, FRA. ISBN 9781450347051

2014

Bertot, Yves and Allais, Guillaume (2014) Views of pi : definition and computation. Journal of Formalized Reasoning, 7 (1). pp. 105-129. ISSN 1972-5787

This list was generated on Sun Aug 1 21:38:15 2021 BST.