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