Activities per year
- 4 results
Search results
-
Connected Places Exploration Workshop
Ghani, N. (Participant)
26 Sept 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
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
-
Contributed talk TYPES 2016: "A Type Theory for Comprehensive Parametric Polymorphism"
Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor) & Simpson, A. (Contributor)
23 May 2016Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"
Nordvall Forsberg, F. (Contributor), Ghani, N. (Contributor) & Orsanigo, F. (Speaker)
21 May 2015Activity: Talk or presentation types › Oral presentation