Seguir
Conor McBride
Conor McBride
Dirección de correo verificada de strath.ac.uk
Título
Citado por
Citado por
Año
Applicative programming with effects
C McBride, R Paterson
Journal of functional programming 18 (1), 1-13, 2008
6192008
The view from the left
C McBride, J McKinna
Journal of Functional Programming 14 (1), 69-111, 2004
4402004
Dependently typed functional programs and their proofs
C McBride
University of Edinburgh. College of Science and Engineering. School of …, 2000
2382000
Observational equality, now!
T Altenkirch, C McBride, W Swierstra
Proceedings of the 2007 workshop on Programming languages meets program …, 2007
1962007
Epigram: Practical programming with dependent types
C McBride
Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005
1852005
Faking it simulating dependent types in haskell
C McBride
Journal of functional programming 12 (4-5), 375-392, 2002
1752002
Elimination with a motive
C McBride
International Workshop on Types for Proofs and Programs, 197-216, 2000
1462000
Productive coprogramming with guarded recursion
R Atkey, C McBride
ACM SIGPLAN Notices 48 (9), 197-208, 2013
1292013
Inductive families need not store their indices
E Brady, C McBride, J McKinna
International Workshop on Types for Proofs and Programs, 115-129, 2003
1282003
Generic programming within dependently typed programming
T Altenkirch, C McBride
Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003
1272003
I got plenty o’nuttin’
C McBride
A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016
1202016
The gentle art of levitation
J Chapman, PÉ Dagand, C McBride, P Morris
ACM Sigplan Notices 45 (9), 3-14, 2010
1172010
Strongly typed term representations in Coq
N Benton, CK Hur, AJ Kennedy, C McBride
Journal of automated reasoning 49 (2), 141-159, 2012
1162012
Eliminating dependent pattern matching
H Goguen, C McBride, J McKinna
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006
992006
The derivative of a regular type is its type of one-hole contexts
C McBride
Unpublished manuscript, 74-88, 2001
982001
Functional pearl: i am not a number--i am a free variable
C McBride, J McKinna
Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 1-9, 2004
972004
Indexed containers
T Altenkirch, N Ghani, P Hancock, C McBride, P Morris
Journal of Functional Programming 25, e5, 2015
812015
Transporting functions across ornaments
PÉ Dagand, C McBride
ACM SIGPLAN Notices 47 (9), 103-114, 2012
782012
Why dependent types matter
J McKinna, T Altenkirch, C McBride
POPL 6, 1-1, 2006
722006
Why dependent types matter
T Altenkirch, C McBride, J McKinna
Manuscript, available online, 235, 2005
722005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20