Picture of a satellite.

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

Strathprints makes available scholarly Open Access content by scholars in the Department of Mechanical & Aerospace Engineering (MAE), based within the Faculty of Engineering.

Research at MAE includes research into space systems engineering and spaceflight mechanics. This spans a wide variety of topics such as nano-satellites, self-assembling spacecraft, orbital dynamics, trajectory design and optimization, autonomous navigation and planning, all under the auspices of the Aerospace Centre of Excellence - and with almost all research outputs openly available through Strathprints.

Explore the Open Access research of the Aerospace Centre of Excellence or the wider MAE department. Or explore all of Strathclyde's Open Access research...

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: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010 | 2009 | 2008
Number of items: 19.

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.

McBride, Conor (2018) Everybody's got to be somewhere. Electronic Proceedings in Theoretical Computer Science, 275. pp. 53-69. ISSN 2075-2180

2017

Ghani, Neil and McBride, Conor and Nordvall Forsberg, Fredrik and Spahn, Stephan (2017) Variations on inductive-recursive definitions. In: Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DNK.

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, FRA. ISBN 9781450347051

Lindley, Sam and McBride, Conor and McLaughlin, Craig (2017) Do Be Do Be Do. In: POPL'2017. ACM, FRA, pp. 500-514. ISBN 9781450346603

2016

McBride, Conor (2016) I got plenty o’ nuttin’. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Switzerland, pp. 207-233. ISBN 9783319309354

2015

McBride, Conor (2015) Turing-completeness totally free. In: Mathematics of Program Construction. Lecture Notes in Computer Science, 9129 . Springer, DEU, pp. 257-275. ISBN 9783319197968

2014

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

2013

Atkey, Robert and McBride, Conor (2013) Productive coprogramming with guarded recursion. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming. ACM, New York, NY. (In Press)

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, NLD, pp. 156-172. ISBN 9783642389450

2012

Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433

Dagand, Pierre-Evariste and McBride, Conor (2012) Transporting functions across ornaments. In: ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, NY, New York, pp. 104-113. ISBN 978-1-4503-1054-3

2010

Mcbride, Conor (2010) Outrageous but meaningful coincidences : dependent type-safe syntax and evaluation. In: Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. ACM, New York, NY, USA, pp. 1-12. ISBN 9781450302517

Gundry, Adam and Mcbride, Conor and McKinna, James (2010) Type inference in context. In: MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming. ACM, New York, NY, GBR, pp. 43-54. ISBN 978-1-4503-0255-5

Chapman, James and Dagand, Pierre-Evariste and Mcbride, Conor and Morris, Peter (2010) The gentle art of levitation. In: ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. ACM, New York, NY, USA, pp. 3-14. ISBN 9781605587943

Löh, Andres and Mcbride, Conor and Swierstra, Wouter (2010) A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae, 102 (2). pp. 177-207. ISSN 0169-2968

2009

McBride, C. (2009) Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract). In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science (5728). Springer, pp. 113-126. ISBN 978-3-642-03740-5

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

2008

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 Tue Jan 21 11:00:04 2020 GMT.