August 19 – 24 , 2001, Dagstuhl Seminar 01341

Dependent Type Theory meets Practical Programming

Participants

  • Thorsten Altenkirch (University of Nottingham, GB)
  • David R. Aspinall (University of Edinburgh, GB)
  • Lennart Augustsson (Chalmers UT – Göteborg, SE)
  • Gilles Barthe (INRIA Sophia Antipolis – Méditerranée, FR)
  • Magnus Carlsson (Göteborg, SE)
  • Thierry Coquand (Chalmers – Göteborg, SE)
  • Peter Dybjer (Chalmers – Göteborg, SE)
  • Amy Felty (University of Ottawa, CA)
  • Andrzej Filinski (University of Copenhagen, DK)
  • Daniel Fridlender (Universidad Nacional de Córdoba, AR)
  • Jacques Garrigue (Kyoto University, JP)
  • Douglas J. Howe (Carleton University – Ottawa, CA)
  • Yorck Hünke (University of Oxford, GB)
  • Johan Jeuring (Utrecht University, NL)
  • Christoph Kreitz (Cornell University, US)
  • Zhaohui Luo (Durham University, GB)
  • Michel Mauny (INRIA – Le Chesnay, FR)
  • Conor McBride (Durham University, GB)
  • Eugenio Moggi (University of Genova, IT)
  • Matthias Neubauer (Universität Freiburg, DE)
  • Christine Paulin-Möhring (Université Paris Sud, FR)
  • Randy Pollack (University of Edinburgh, GB)
  • Didier Remy (INRIA – Le Chesnay, FR)
  • Anton Setzer (Swansea University, GB)
  • Zhong Shao (Yale University, US)
  • Tim Sheard (Oregon Health & Science University – Beaverton, US)
  • Walid Taha (Rice University – Houston, US)
  • Peter Thiemann (Universität Freiburg, DE)
  • Joe Wells (Heriot-Watt University Edinburgh, GB)
  • Kwong-Cheong Wong (INRIA Sophia Antipolis – Méditerranée, FR)
  • Christoph Zenger (TU München, DE)