Activities per year
Activities
- 11 results
Search results
-
Scottish Programming Languages and Verification Summer School 2024
Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation
-
NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
13 Jul 2021Activity: Public Engagement and Outreach › Public Events
-
Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Functorial Adapters"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"
Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor), McBride, C. (Contributor) & Spahn, S. (Contributor)
31 May 2017Activity: Talk or presentation types › Oral presentation
-
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
McBride, C. (Invited speaker)
2010Activity: Talk or presentation types › Invited talk
-
IFIP Working Group (External organisation)
McBride, C. (Member)
2010 → …Activity: Membership types › Membership of committee
-
ICFP 2009
McBride, C. (Member of programme committee)
2009 → …Activity: Participating in or organising an event types › Organiser of major conference
-
Journal of Functional Programming (Journal)
McBride, C. (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
McBride, C. (Guest editor)
Jan 2008 → Dec 2013Activity: Publication peer-review and editorial work types › Journal or guest editorship