James Chapman

2008

 

Recent Papers

  1. 1.Type Theory should eat itself

  2. 2.Big Step Normalisation

  3. 3.Tait in one big step

  4. 4.Epigram Reloaded

About Me

I have moved to Tallinn, Estonia.

My new hompage is: http://cs.ioc.ee/~james/

name  James Maitland Chapman


ROlE PhD Student

Group  Functional Programming Laboratory

Department Computer Science

University Nottingham


email  jmc cs nott ac uk

Address   Room B38

                    School of Computer Science

                    University of Nottingham

                    Jubilee Campus

                    Nottingham

                    NG8 1BB