Functional Programming Lab
  • Print
   
   
 

Image of Gun Pinyo

Gun Pinyo

PhD student in Dependent Type Theory, Faculty of Science

Contact

Functional Programming Lab

The University of Nottingham
School of Computer Science
Jubilee Campus
Nottingham, NG7 1BB


telephone: +44 (0) 115 95 14220
email:fp-lunch@cs.nott.ac.uk