People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
I am Reader (Associate Professor) at the School of Computer Science of the University of Nottingham. Jointly with Graham Hutton I am chairing the Functional Programming Laboratory.
Contact. work Room A10 Computer Science Jubilee Campus Nottingham NG8 1BB; work 0115 84 66516; fax 0115 95 14254; thorsten.altenkirch@nottingham.ac.uk; http://www.cs.nott.ac.uk/~txa/
Everything you need to know about Thorsten Altenkirch Email addresses, Phone numbers, Biography, James Chapman, Epigram, Haskell, University of Nottingham, Proofs
Thorsten Altenkirch's drafts and publications. See alti.bib for a collection of most of my bibtex entries. Relative monads formalised with James Chapman and Tarmo Uustalu
Update your professional profile, manage your online reputation or research the professional information of Thorsten Altenkirch, University of Nottingham at ZoomInfo.com, the most ...
I am Reader (Associate Professor) at the School of Computer Science of the University of Nottingham. Jointly with Graham Hutton I am chairing the Functional Programming ...
Everything you need to know about Thorsten Altenkirch Email addresses, Phone numbers, Biography, James Chapman, Epigram, Haskell, University of Nottingham, Proofs
Thorsten Altenkirch's drafts and publications. See alti.bib for a collection of most of my bibtex entries. Relative monads formalised with James Chapman and Tarmo Uustalu
8 Jan 2006 ... Thorsten Altenkirch's main research interest is the application of constructive logic in Computer Science. Constructive logic diverges from ...
Thorsten Altenkirch's drafts and publications. See alti.bib for a collection ...
Thorsten Altenkirch's main research interest is the application of constructive logic in Computer Science. Constructive logic diverges from classical logic ...
Thorsten Altenkirch, Todd D. Millstein: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, ...
6 Feb 2003 ... Thorsten Altenkirch. I am now lecturer at the School of Computer Science and Information Technology of the University of Nottingham. ...
Friends: John Woodward, Aarne Ranta, Walid Taha, Henk Barendregt, Venanzio CaprettaThorsten Altenkirch is on Facebook. Join Facebook to connect with Thorsten Altenkirch and others you may know. Facebook gives people the power to share and ...
Nottingham, United Kingdom - Reader at University of NottinghamView Thorsten Altenkirch's (United Kingdom) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like ...
Thorsten Altenkirch txa Nottingham. Thorsten Altenkirch checked in at STN London Stansted Airport. 5 months ago · John Hughes: On your way here? ...
File Format: PDF/Adobe Acrobat -
Linkedin
Chalmers University of Technology (Higher Education industry): research assistant, (1993-1995)