BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
ICFP-2012-DagandM
Transporting functions across ornaments (PÉD, CM), pp. 103–114.
ICFP-2010-ChapmanDMM
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.
TLCA-2003-AbbottAGM
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.
POPL-2017-LindleyMM
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.