nLab Conor McBride

• personal page

• institute page

Selected writings

On functional programming with dependent types:

• Conor McBride, Dependently Typed Functional Programs and their Proofs, PhD thesis (1999) [pdf, pdf]

On fibered heterogeneous identity types:

• Conor McBride, Dependently Typed Functional Programs and their Proofs, (1999) [pdf]

On dependent linear type theory:

• Conor McBride, I Got Plenty o’ Nuttin’, in: A List of Successes That Can Change the World, Lecture Notes in Computer Science 9600, Springer (2016) [doi:10.1007/978-3-319-30936-1_12]

Introducing observational type theory:

• Thorsten Altenkirch, Conor McBride, Towards observational type theory, draft (2006) [pdf, pdf, pdf]

• Thorsten Altenkirch, Conor McBride, Wouter Swierstra, Observational Equality, Now!, PLPV ‘07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007) 57-68 [ISBN:978-1-59593-677-6, doi:10.1145/1292597.1292608, pdf]

category: people