Home Advanced Search

Advanced Search - Page 1

Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)
Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Eduardo Giménez, Christine Paulin-Mohring (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Ralf Hinze (auth.), Sven-Bodo Scholz, Olaf Chitil (eds.)
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Ralf Hinze (auth.), Sven-Bodo Scholz, Olaf Chitil (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
search