Programming and Software Engineering

The Beauty of Functional Code

Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Editors: Achten, Peter, Koopman, Pieter (Eds.)

  • Commemorative publication
  • Written by experts
  • Features essays by leading researchers in the field of functional programming
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-40355-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-40354-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language "Clean" and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an important center of research in functional programming by organizing and hosting the first few IFL symposia in Nijmegen. This Festschrift contains 19 scientific essays written by former PhD students of Rinus Plasmeijer and researchers in the field of functional programming who have collaborated with him. The authors write about the influence the beauty of functional programming has had or still has on their work.

Table of contents (19 chapters)

  • Beautiful Code, Beautiful Proof?

    Mol, Maarten (et al.)

    Pages 1-7

  • Beauty and Code

    Brus, Tom

    Pages 8-17

  • An Ontology of States

    Polonsky, Andrew (et al.)

    Pages 18-26

  • Functional Type Assignment for Featherweight Java

    Bakel, Steffen J. (et al.)

    Pages 27-46

  • Verifying Functional Formalizations – A Type-Theoretical Case Study in PVS

    Smetsers, Sjaak (et al.)

    Pages 47-59

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-40355-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-40354-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Beauty of Functional Code
Book Subtitle
Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Editors
  • Peter Achten
  • Pieter Koopman
Series Title
Programming and Software Engineering
Series Volume
8106
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40355-2
DOI
10.1007/978-3-642-40355-2
Softcover ISBN
978-3-642-40354-5
Edition Number
1
Number of Pages
XIV, 285
Number of Illustrations and Tables
31 b/w illustrations
Topics