Activities per year
Activities
- 1 results
Search results
-
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