Conor McBride
University of Strathclyde(GB)Cambridge Quantum Computing (United Kingdom)(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Advanced Database Systems and Queries
Most-Cited Works
- → Applicative programming with effects(2007)400 cited
- → The view from the left(2004)327 cited
- Dependently Typed Functional Programs and their Proofs(2000)
- → Observational equality, now!(2007)117 cited
- → Faking it Simulating dependent types in Haskell(2002)109 cited
- → Generic Programming within Dependently Typed Programming(2003)95 cited
- → Epigram: Practical Programming with Dependent Types(2005)94 cited
- → Do be do be do(2016)92 cited