Picture of neon sign reading 'open'

Being more open: International Open Access Week at Strathprints (19-25 Oct 2020)...

Strathprints makes available scholarly Open Access content by researchers from the University of Strathclyde, spanning numerous disciplines across science, engineering, business, social sciences and humanties. 19-25 October 2020 is International Open Access Week, an annual global event to promote the need for, and benefits of, greater Open Access in scholarship. This not only encompasses greater openness of research publications like journal articles and conference papers, but also important outputs of the research process, such as data (e.g. Open Data).

At Strathclyde we are committed to progressing towards full Open Access by 2025. That is why close to 90% of all research is now made available Open Access, principally through Strathprints. 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: 2020 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010 | 2009 | 2008
Number of items: 23.

2020

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

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)

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; 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

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

2016

McBride, Conor; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (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; Hinze, Ralf and Voigtländer, Janis, eds. (2015) Turing-completeness totally free. In: Mathematics of Program Construction. Lecture Notes in Computer Science, 9129 . Springer, DEU, pp. 257-275. ISBN 9783319197968

2014

McBride, Conor; (2014) How to keep your neighbours in order. In: ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. ACM, New York, NY., pp. 297-309. ISBN 9781450328739

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; Hasegawa, Masahito, ed. (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; Hudak, Paul, ed. (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.; Kurz, A, and Lenisa, M. and Tarlecki, A., eds. (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

Mcbride, Conor; (2008) Clowns to the left of me, jokers to the right (pearl) : dissecting data structures. In: POPL '08 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, New York, NY, pp. 287-295. ISBN 978-1-59593-689-9

This list was generated on Sun Oct 25 14:03:22 2020 GMT.