Office C39 Functional Programming Lab School of Computer Science The University of Nottingham Jubilee Campus NG7 1BB Nottingham United Kingdom
My email address is: tom.dejong[symbol]nottingham.ac.uk.