Picture of suspension bridge against blue sky.

Open Access research that pioneers intelligent infrastructure

Strathprints makes available scholarly Open Access content by researchers in the Department of Civil & Environmental Engineering, based within the Faculty of Engineering.

Civil & Environmental Engineering hosts the Centre for Intelligent Infrastructure which harnesses techniques from a variety of sciences and engineering in order to solve problems surrounding safety and resilience of structures supporting energy generation, waste storage, transportation and urban infrastructure. The wider Department also demonstrates specialisms in ground engineering and energy geosciences, as well as environmental sustainability.

Explore the Open Access research of Civil & Environmental Engineering. Or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2018 | 2017 | 2014
Number of items: 4.

2019

Allais, Guillaume (2019) Generic level polymorphic N-ary functions. In: 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019-08-18 - 2019-08-18. (In Press)

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. In: International Conference on Functional Programming 2018, 2018-09-23 - 2018-09-29.

2017

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, New York. 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 Sep 15 08:53:10 2019 BST.