Conor McBride - RankMe

63 papers A* 3A 3B 5C 2Misc 1Journal 22Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Fulls Seldom Differ. Proc. ACM Program. Lang. Mark Koch, Alan Lawrence, Conor McBride, Craig Roy
2021	J	`jnl`	A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. J. Funct. Program. Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
2020	J	`jnl`	A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. CoRR Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
2020	J	`jnl`	Doo bee doo bee doo. J. Funct. Program. Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin
2018	J	`jnl`	A type and scope safe universe of syntaxes with binding: their semantics and proofs. Proc. ACM Program. Lang. Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
2018	—	`conf`	Everybody's Got To Be Somewhere. MSFP@FSCD Conor McBride
2017	A*	`conf`	Do be do be do. POPL Sam Lindley, Conor McBride, Craig McLaughlin
2017	B	`conf`	Type-and-scope safe programs and their proofs. CPP Guillaume Allais, James Chapman, Conor McBride, James McKinna
2017	B	`conf`	Variations on Inductive-Recursive Definitions. MFCS Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn
2016	—	`ed.`	A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday A List of Successes That Can Change the World Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella
2016	J	`jnl`	Do be do be do. CoRR Sam Lindley, Conor McBride, Craig McLaughlin
2016	—	`conf`	I Got Plenty o' Nuttin'. A List of Successes That Can Change the World Conor McBride
2016	J	`jnl`	Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. Thorsten Altenkirch, Conor McBride
2015	J	`jnl`	Indexed containers. J. Funct. Program. Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
2015	B	`conf`	Turing-Completeness Totally Free. MPC Conor McBride
2014	J	`jnl`	Transporting functions across ornaments. J. Funct. Program. Pierre-Évariste Dagand, Conor McBride
2013	A*	`conf`	A Categorical Treatment of Ornaments. LICS Pierre-Évariste Dagand, Conor McBride
2013	C	`conf`	Hasochism: the pleasure and pain of dependently typed haskell programming. Haskell Sam Lindley, Conor McBride
2013	J	`jnl`	New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized CoRR Guillaume Allais, Pierre Boutillier, Conor McBride
2013	—	`conf`	New equations for neutral terms: a sound and complete decision procedure, formalized. DTP@ICFP Guillaume Allais, Conor McBride, Pierre Boutillier
2013	A	`conf`	Productive coprogramming with guarded recursion. ICFP Robert Atkey, Conor McBride
2013	—	`conf`	Small Induction Recursion. TLCA Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch
2012	J	`jnl`	A Categorical Treatment of Ornaments CoRR Pierre-Évariste Dagand, Conor McBride
2012	J	`jnl`	Elaborating Inductive Definitions CoRR Pierre-Évariste Dagand, Conor McBride
2012	J	`jnl`	Strongly Typed Term Representations in Coq. J. Autom. Reason. Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride
2012	J	`jnl`	Transporting Functions across Ornaments CoRR Pierre-Évariste Dagand, Conor McBride
2012	A	`conf`	Transporting functions across ornaments. ICFP Pierre-Évariste Dagand, Conor McBride
2011	J	`jnl`	Dependently Typed Programming (NII Shonan Meeting 2011-3). NII Shonan Meet. Rep. Shin-Cheng Mu, Conor McBride, Stephanie Weirich
2011	—	`ed.`	Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008 MSFP@ICALP Venanzio Capretta, Conor McBride
2010	J	`jnl`	A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae Andres Löh, Conor McBride, Wouter Swierstra
2010	—	`conf`	Djinn, Monotonic. PAR@ITP Conor McBride
2010	—	`conf`	Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. ICFP-WGP Conor McBride
2010	A	`conf`	The gentle art of levitation. ICFP James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
2010	—	`conf`	Type Inference in Context. MSFP@ICFP Adam Gundry, Conor McBride, James McKinna
2009	B	`conf`	Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). CALCO Conor McBride
2009	J	`jnl`	Preface. J. Funct. Program. Conor McBride, Tarmo Uustalu
2008	J	`jnl`	Applicative programming with effects. J. Funct. Program. Conor McBride, Ross Paterson
2008	A*	`conf`	Clowns to the left of me, jokers to the right (pearl): dissecting data structures. POPL Conor McBride
2008	—	`conf`	Preface. MSFP@ICALP Venanzio Capretta, Conor McBride
2008	Misc	`conf`	Proving Properties about Lists Using Containers. FLOPS Rawle C. S. Prince, Neil Ghani, Conor McBride
2007	—	`conf`	Observational equality, now! PLPV Thorsten Altenkirch, Conor McBride, Wouter Swierstra
2007	—	`ed.`	Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers TYPES Thorsten Altenkirch, Conor McBride
2007	—	`conf`	What's the deal with dependent types? TLDI Conor McBride
2006	—	`conf`	Eliminating Dependent Pattern Matching. Essays Dedicated to Joseph A. Goguen Healfdene Goguen, Conor McBride, James McKinna
2006	—	`conf`	Generic Programming with Dependent Types. SSDGP Thorsten Altenkirch, Conor McBride, Peter Morris
2006	—	`ch.`	Lego. The Seventeen Provers of the World Conor McBride
2006	—	`ed.`	Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006. MSFP@MPC Conor McBride, Tarmo Uustalu
2005	—	`conf`	Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming James Chapman, Thorsten Altenkirch, Conor McBride
2005	J	`jnl`	for Data: Differentiating Data Structures. Fundam. Informaticae Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
2004	—	`conf`	A Few Constructions on Constructors. TYPES Conor McBride, Healfdene Goguen, James McKinna
2004	B	`conf`	Constructing Polymorphic Programs with Quotient Types. MPC Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
2004	—	`conf`	Epigram: Practical Programming with Dependent Types. Advanced Functional Programming Conor McBride
2004	—	`conf`	Exploring the Regular Tree Types. TYPES Peter Morris, Thorsten Altenkirch, Conor McBride
2004	C	`conf`	Functional pearl: i am not a number-i am a free variable. Haskell Conor McBride, James McKinna
2004	J	`jnl`	The view from the left. J. Funct. Program. Conor McBride, James McKinna
2003	—	`conf`	Derivatives of Containers. TLCA Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
2003	J	`jnl`	First-order unification by structural recursion. J. Funct. Program. Conor McBride
2003	—	`conf`	Inductive Families Need Not Store Their Indices. TYPES Edwin C. Brady, Conor McBride, James McKinna
2002	J	`jnl`	Faking it: Simulating dependent types in Haskell. J. Funct. Program. Conor McBride
2002	—	`conf`	Generic Programming within Dependently Typed Programming. Generic Programming Thorsten Altenkirch, Conor McBride
2000	—	`—`	Dependently typed functional programs and their proofs. Conor McBride
2000	—	`conf`	Elimination with a Motive. TYPES Conor McBride
1996	—	`conf`	Inverting Inductively Defined Relations in LEGO. TYPES Conor McBride