Functional Programming Lab
 

Image of Gun Pinyo

Gun Pinyo

PhD student in Dependent Type Theory,

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