Neil Ghani

Search results

• Connected Places Exploration Workshop

  Neil Ghani (Participant)

  26 Sept 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor), Conor McBride (Contributor) & Stephan Spahn (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor) & Alex Simpson (Contributor)

  23 May 2016

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"

  Fredrik Nordvall Forsberg (Contributor), Neil Ghani (Contributor) & Federico Orsanigo (Speaker)

  21 May 2015

  Activity: Talk or presentation types › Oral presentation