Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
The Seventeen Provers of the World: Foreword by Dana S. Scott
  • PDF
  • English
  • Year: 2006
  • Author: Freek Wiedijk (auth.), Freek Wiedijk (eds.)
The Seventeen Provers of the World: Foreword by Dana S. Scott
  • PDF
  • English
  • Year: 2006
  • Author: Freek Wiedijk (auth.), Freek Wiedijk (eds.)
Trends in Functional Programming
  • PDF
  • English
  • Year: 2007
  • Author: Van Eekelen, Marko
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Maarten de Mol, Marko van Eekelen (auth.), Peter Achten, Pieter Koopman (eds.)
Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ugo Dal Lago, Paolo Parisen Toldin (auth.), Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.)
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ugo Dal Lago, Paolo Parisen Toldin (auth.), Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.)
Functional Programming and Parallel Graph Rewriting
  • PDF
  • english
  • Year: 1993
  • Author: Rinus Plasmeijer, Marko van Eekelen
search