Picture of a satellite in orbit.

Open Access research that solves space system engineering problems...

Strathprints makes available scholarly Open Access content by scholars in the Departments of Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, and Design, Manufacturing & Engineering Management -- all active in the areas of space systems engineering, space mechatronics, aerospace and astronautical engineering. This spans a wide variety of topics such as nano-satellites, self-assembling spacecraft, robotics, flightpath mechanics, orbital dynamics, trajectory design and optimization, autonomous navigation and planning -- and with almost all research outputs openly available through Strathprints.

Explore the Open Access research of the Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, and Design, Manufacturing & Engineering Management. 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 Fri Apr 23 15:12:26 2021 BST.