Conor McBride

If you made any changes in Pure these will be visible here soon.

Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Conor McBride (Invited speaker)
2010
Activity: Talk or presentation types › Invited talk
IFIP Working Group (External organisation)
Conor McBride (Member)
2010 → …
Activity: Membership types › Membership of committee
ICFP 2009
Conor McBride (Member of programme committee)
2009 → …
Activity: Participating in or organising an event types › Organiser of major conference
Vol 19, Issues 3 & 4 (Special Issue on Mathematically Structured Functional Programming
Conor McBride (Guest editor)
Jan 2008 → Dec 2013
Activity: Publication peer-review and editorial work types › Journal or guest editorship
Journal of Functional Programming (Journal)
Conor McBride (Editor)
Jan 2008 → Dec 2013
Activity: Publication peer-review and editorial work types › Journal or guest editorship

Activities