No photo of Conor McBride

View Scopus Profile

Conor McBride

Dr

 https://orcid.org/0000-0003-1487-0886

  • United Kingdom

Filter
Conference contribution book

Search results

  • 2017

    Variations on inductive-recursive definitions

    Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 63. (Leibniz International Proceedings in Informatics ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    2 Citations (Scopus)
    67 Downloads (Pure)

  • Type-and-scope safe programs and their proofs

    Allais, G., Chapman, J., McBride, C. & McKinna, J., 16 Jan 2017, CPP 2017 : Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Bertot, Y. & Vafeiadis, V. (eds.). New York, 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    33 Citations (Scopus)
    141 Downloads (Pure)

  • Do Be Do Be Do

    Lindley, S., McBride, C. & McLaughlin, C., 15 Jan 2017, POPL'2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. (ed.). New York, p. 500-514 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    61 Citations (Scopus)
    229 Downloads (Pure)
  • 2016

    I got plenty o’ nuttin’

    McBride, C., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer, p. 207-233 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    62 Citations (Scopus)
  • 2015

    Turing-completeness totally free

    McBride, C., 9 Jun 2015, Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Cham, Switzerland: Springer, Vol. 9129. p. 257-275 19 p. (Lecture Notes in Computer Science; vol. 9129).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    26 Citations (Scopus)
    63 Downloads (Pure)
  • 2014

    How to keep your neighbours in order

    McBride, C., 19 Aug 2014, ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. New York, NY., p. 297-309 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    72 Downloads (Pure)
  • 2013

    New equations for neutral terms: a sound and complete decision procedure, formalized

    Allais, G., McBride, C. & Boutillier, P., 24 Sept 2013, DTP '13: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. New York, p. 13-24 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    8 Citations (Scopus)
    20 Downloads (Pure)

  • Productive coprogramming with guarded recursion

    Atkey, R. & McBride, C., Sept 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    41 Citations (Scopus)

  • Small induction recursion

    Hancock, P., McBride, C., Ghani, N., Malatesta, L. & Altenkirch, T., 6 Jun 2013, Typed Lambda Calculus and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Hasegawa, M. (ed.). Berlin: Springer, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 7941).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    15 Citations (Scopus)
  • 2012

    Transporting functions across ornaments

    Dagand, P.-E. & McBride, C., 2012, ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming . New York, p. 104-113 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    17 Citations (Scopus)
  • 2010

    Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation

    Mcbride, C., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming . New York, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    30 Citations (Scopus)

  • The gentle art of levitation

    Chapman, J., Dagand, P.-E., Mcbride, C. & Morris, P., 2010, ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. Hudak, P. (ed.). New York, p. 3-14 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    39 Citations (Scopus)

  • Type inference in context

    Gundry, A., Mcbride, C. & McKinna, J., 2010, MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming . p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    10 Citations (Scopus)
  • 2008

    Clowns to the left of me, jokers to the right (pearl): dissecting data structures

    Mcbride, C., 2008, POPL '08 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . p. 287-295 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    14 Citations (Scopus)