Conor McBride | Academic Influence

Conor McBride's AcademicInfluence.com Rankings

Conor McBride

Computer Science

#3496

World Rank

#3668

Historical Rank

Database

#9063

World Rank

#9527

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Conor McBride's Degrees

PhD Computer Science University of Strathclyde
Masters Computer Science University of Strathclyde
Bachelors Computer Science University of Strathclyde

Similar Degrees You Can Earn

Why Is Conor McBride Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Conor McBride is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

(See a Problem?)

Conor McBride's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Applicative programming with effects (2008) (421)
Dependently typed functional programs and their proofs (2000) (189)
Epigram: Practical Programming with Dependent Types (2004) (139)
Observational equality, now! (2007) (133)
The view from the left (2004) (128)
Indexed Containers (2009) (127)
Faking it Simulating dependent types in Haskell (2002) (122)
Elimination with a Motive (2000) (108)
Inductive Families Need Not Store Their Indices (2003) (99)
Generic Programming within Dependently Typed Programming (2002) (99)
The gentle art of levitation (2010) (95)
The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) (91)
Productive coprogramming with guarded recursion (2013) (86)
Strongly Typed Term Representations in Coq (2012) (78)
Functional pearl: i am not a number--i am a free variable (2004) (78)
Eliminating Dependent Pattern Matching (2006) (77)
Ornamental Algebras, Algebraic Ornaments (2014) (63)
Hasochism: the pleasure and pain of dependently typed haskell programming (2013) (54)
for Data: Differentiating Data Structures (2004) (53)
Transporting functions across ornaments (2012) (52)
First-order unification by structural recursion (2003) (49)
Generic Programming with Dependent Types (2006) (45)
I Got Plenty o' Nuttin' (2016) (44)
Derivatives of Containers (2003) (44)
A List of Successes That Can Change the World (2016) (44)
Clowns to the left of me, jokers to the right (pearl): dissecting data structures (2008) (41)
A Tutorial Implementation of a Dependently Typed Lambda Calculus (2010) (39)
Turing-Completeness Totally Free (2015) (38)
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation (2010) (38)
Exploring the Regular Tree Types (2004) (35)
A Few Constructions on Constructors (2004) (35)
Type-and-scope safe programs and their proofs (2017) (34)
Constructing Polymorphic Programs with Quotient Types (2004) (33)
A type and scope safe universe of syntaxes with binding: their semantics and proofs (2018) (29)
Doo bee doo bee doo (2020) (28)
Inverting Inductively Defined Relations in LEGO (1996) (27)
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (2009) (26)
Towards Observational Type Theory (2006) (26)
Epigram reloaded: a standalone typechecker for ETT (2005) (25)
Small Induction Recursion (2013) (22)
A Categorical Treatment of Ornaments (2012) (22)
How to keep your neighbours in order (2014) (19)
New equations for neutral terms: a sound and complete decision procedure, formalized (2013) (18)
Type inference in context (2010) (15)
Proving Properties about Lists Using Containers (2008) (14)
Elaborating Inductive Definitions (2012) (14)
Small Induction Recursion , Indexed Containers and Dependent Polynomials are equivalent ∗ (2012) (11)
Everybody's Got To Be Somewhere (2018) (11)
Agda-curious?: an exploration of programming with dependent types (2012) (9)
Clowns to the Left of me , Jokers to the Right Dissecting Data Structures (2006) (6)
Enhancing mathematical problem-solving through ZENO (1999) (5)
A tutorial implementation of dynamic pattern unification A dependently typed programming language implementation pearl (2012) (5)
Dependently typed programming (2013) (4)
Inverting Inductively Deened Relations in Lego (1998) (3)
The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) (2017) (2)
Simply Easy! An Implementation of a Dependently Typed Lambda Calculus (2007) (2)
Variations on Inductive-Recursive Definitions (2017) (2)
Djinn, Monotonic (2010) (2)
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (2007) (1)
FUNCTIONAL PEARL Why walk when you can take the tube (2006) (1)
Elimination with a MotiveConor McBrideDepartment of Computer ScienceUniversity of DurhamAbstract (2002) (0)
Replication Package for Article (2018) (0)
Type systems for programs respecting dimensions (2022) (0)
How to keep your neighbours in order (2014) (0)
Delivering the shape and space programme of study in the UK national mathematics curriculum using Zeno (1993) (0)
Session details: Session 4 (2010) (0)
LET’S SEE HOW THINGS UNFOLD: STRONGLY FINAL COALGEBRAS IN DEPENDENT TYPE THEORY (2011) (0)
11 All Lists Are Created Equal (2018) (0)
Effect of Side Struts on the Strength of Long Arm Plaster Splints: A Biomechanical Study (2020) (0)
Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006) (0)
Dependently Typed Programming (NII Shonan Meeting 2011-3) (2011) (0)
63 : 2 Variations on Inductive-Recursive Definitions such that (2019) (0)
An Implementation of a Dependently Typed Lambda Calculus Andres (2007) (0)
Edinburgh Research Explorer Do Be Do Be Do (2018) (0)
Proceedings of the 2006 international conference on Types for proofs and programs (2006) (0)
Measuring with confidence: leveraging expressive type systems for correct-by-construction software (2023) (0)
Encapsulating Effects in Frank (2018) (0)
EXPRESSIVE TYPE SYSTEMS FOR METROLOGY (2022) (0)
Strongly Typed Term Representations in Coq (2011) (0)
What's the deal with dependent types? (2007) (0)
Dependent Types for the Real World Case for Support Dr (2006) (0)
Under Consideration for Publication in J. Functional Programming First-order Uniication by Structural Recursion Capsule Review (2007) (0)
Selected papers from Dependently Typed Programming 2010 – Overview (2014) (0)
Proceedings of the 2006 international conference on Mathematically Structured Functional Programming (2006) (0)

This paper list is powered by the following services:

Other Resources About Conor McBride

en.wikipedia.org

What Schools Are Affiliated With Conor McBride?

Conor McBride is affiliated with the following schools: