If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution book
2017

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 proceedingConference contribution book

Open Access
File
19 Citations (Scopus)
184 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 proceedingConference contribution book

Open Access
File
14 Citations (Scopus)
80 Downloads (Pure)

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, 13 p. 63. (Leibniz International Proceedings in Informatics ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
22 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 proceedingConference contribution book

12 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 proceedingConference contribution book

Open Access
File
9 Citations (Scopus)
33 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 proceedingConference contribution book

Open Access
File
31 Downloads (Pure)
2013

Productive coprogramming with guarded recursion

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

23 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 proceedingConference contribution book

9 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 proceedingConference contribution book

14 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 proceedingConference contribution book

18 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 proceedingConference contribution book

20 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 proceedingConference contribution book

3 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 proceedingConference contribution book

10 Citations (Scopus)