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

Research Output

Filter
Article
2020

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 28 Jan 2020, (Accepted/In press) In : Journal of Functional Programming. 61 p.

Research output: Contribution to journalArticle

2014

Transporting functions across ornaments

Dagand, P-É. & McBride, C., 30 May 2014, In : Journal of Functional Programming. 24, 2-3, p. 316-383 68 p.

Research output: Contribution to journalArticle

Open Access
File
5 Citations (Scopus)
17 Downloads (Pure)
2012

Strongly typed term representations in Coq

Benton, N., Hur, C-K., Kennedy, A. & McBride, C., Aug 2012, In : Journal of Automated Reasoning. 49, 2, p. 141-159 19 p.

Research output: Contribution to journalArticle

28 Citations (Scopus)
2010

A tutorial implementation of a dependently typed lambda calculus

Löh, A., Mcbride, C. & Swierstra, W., 2010, In : Fundamenta Informaticae. 102, 2, p. 177-207 31 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)
2009

Preface

McBride, C. & Uustalu, T., May 2009, In : Journal of Functional Programming. 19, 3-4, p. 263-264 1 p.

Research output: Contribution to journalArticle

2008

Applicative programming with effects

Mcbride, C. & Paterson, R., 2008, In : Journal of Functional Programming. 18, 1, p. 1-13 13 p.

Research output: Contribution to journalArticle

230 Citations (Scopus)