Home Advanced Search

Advanced Search - Page 1

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.)
Functional Programming in Clean [Draft]
  • PDF
  • English
  • Year: 2002
  • Author: Pieter Koopman, Rinus Plasmeijer, Marko Van Eekelen, Sjaak Smetsers
Implementation of Functional Languages: 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Mike Wiering, Peter Achten, Rinus Plasmeijer (auth.), Pieter Koopman, Chris Clack (eds.)
Trends in Functional Programming, Volume 9
  • DJVU
  • English
  • Year: 2009
  • Author: Marco Morazán; Pieter Koopman; Peter Achten
Trends in Functional Programming
  • PDF
  • English
  • Year: 2007
  • Author: Van Eekelen, Marko
Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
  • PDF
  • english
  • Year: 2009
  • Author: Maarten de Mol
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.)
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
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
  • PDF
  • English
  • Year: 1993
  • Author: Johan van Benthem (auth.), Maarten de Rijke (eds.)
search