Thorsten Altenkirch

Like other search engines (Google or Bing) Radaris collects information from public sources.

Social Networks featuring Thorsten Altenkirch

Linkedin

   
Thorsten Altenkirch

Locality: Nottingham, United Kingdom
Summary: Reader at University of Nottingham
Past: research assistant at Chalmers University of Technology
Education:  The University of Edinburgh Computer Science (1989-1993) 
 Technische Universitt Berlin Computer Science (1982-1989) 

Industry: Higher Education
Experience: University of Nottingham (Higher Education industry): Reader,   
Chalmers University of Technology (Higher Education industry): research assistant,  (1993-1995) 

Interests: job inquiries, expertise requests, business deals, reference requests, getting back in touch

References for Thorsten Altenkirch

Web Results

Thorsten Altenkirch

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.

Thorsten Altenkirch - United Kingdom - Email, Address, Phone ...

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

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

Thorsten Altenkirch - The University of Nottingham

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/

Home Page for Michael Abbott

Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Constructing Polymorphic Programs with Quotient Types", accepted for MPC 2004. Avaliable as .ps.

QML: A Functional Quantum Programming Language

From reversible to irreversible computations by Alex Green and Thorsten Altenkirch (with thanks to Jonathan Grattage), published in the ...

CiteULike: pedagand's Altenkirch [21 articles]

Recent papers posted to pedagand's library by the author Altenkirch. You ... Thorsten Altenkirch, Martin Hofmann, Thomas Streicher

BCTCS 2006

Recolouring Graph Colourings Luis Cereceda, LSE : Stop thinking about bottoms when writing programs! Thorsten Altenkirch, Nottingham University : 12.30-

Use semantics to show properties of syntax, Departmental ...

Departmental Colloquium Thorsten Altenkirch (University of Nottingham) Use semantics to show properties of syntax Abstract To illustrate the idea of using semantics to show syntactical ...

Home Page for Michael Abbott

Michael Abbott, Thorsten Altenkirch, Neil Ghani, "Constructing Polymorphic Programs with Quotient Types", accepted for MPC 2004. Avaliable as .ps.

gimboland » The wacky world of Thorsten Altenkirch

No comments yet — be the first! Leave a reply. You can use HTML, but you don't have to. Formatting tips (for code, quotes, etc.) here.

CiE 2008 - Programme Committee

Thorsten Altenkirch (Nottingham) Klaus Ambos-Spies (Heidelberg) Giorgio Ausiello (Roma) Arnold Beckmann (Swansea, co-chair) Lev Beklemishev (Moscow) Paola Bonizzoni (Milano)