BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Japan
1 × Spain
1 × The Netherlands
4 × USA
Collaborated with:
P.Dagand S.Lindley N.Ghani R.Atkey J.McKinna T.Altenkirch R.Prince C.McLaughlin J.Chapman P.Morris M.Abbott P.Hancock L.Malatesta
Talks about:
do (3) ornament (2) function (2) program (2) contain (2) recurs (2) depend (2) pearl (2) type (2) be (2)

Person: Conor McBride

DBLP DBLP: McBride:Conor

Contributed to:

ICFP 20132013
LICS 20132013
TLCA 20132013
ICFP 20122012
ICFP 20102010
FLOPS 20082008
POPL 20082008
AFP 20042004
TLCA 20032003
Haskell 20042004
Haskell 20132013
POPL 20172017

Wrote 12 papers:

ICFP-2013-AtkeyM #effectiveness #recursion
Productive coprogramming with guarded recursion (RA, CM), pp. 197–208.
LICS-2013-DagandM #category theory
A Categorical Treatment of Ornaments (PÉD, CM), pp. 530–539.
TLCA-2013-HancockMGMA #induction #recursion
Small Induction Recursion (PH, CM, NG, LM, TA), pp. 156–172.
Transporting functions across ornaments (PÉD, CM), pp. 103–114.
The gentle art of levitation (JC, PÉD, CM, PM), pp. 3–14.
FLOPS-2008-PrinceGM #proving #using
Proving Properties about Lists Using Containers (RP, NG, CM), pp. 97–112.
POPL-2008-McBride #data type
Clowns to the left of me, jokers to the right (pearl): dissecting data structures (CM), pp. 287–295.
AFP-2004-McBride04 #dependent type #named #programming
Epigram: Practical Programming with Dependent Types (CM), pp. 130–170.
Derivatives of Containers (MA, TA, NG, CM), pp. 16–30.
Haskell-2004-McBrideM #functional
Functional pearl: i am not a number-i am a free variable (CM, JM), pp. 1–9.
Haskell-2013-LindleyM #haskell #named #programming
Hasochism: the pleasure and pain of dependently typed haskell programming (SL, CM), pp. 81–92.
Do be do be do (SL, CM, CM), pp. 500–514.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.