Skip to main content
SpringerLink
Log in
Book cover

The Beauty of Functional Code

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

  • Book
  • © 2013

Overview

Editors:
  1. Peter Achten

    1. Institute for Computing and Information Sciences (ICIS), Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pieter Koopman

    1. Institute for Computing and Information Sciences (ICIS), Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8106)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Download chapter PDF

  2. Beautiful Code, Beautiful Proof?

    • Maarten de Mol, Marko van Eekelen
    Pages 1-7

  3. Beauty and Code

    • Tom Brus
    Pages 8-17

  4. An Ontology of States

    • Andrew Polonsky, Henk Barendregt
    Pages 18-26

  5. Functional Type Assignment for Featherweight Java

    • Steffen J. van Bakel, Reuben N. S. Rowe
    Pages 27-46

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

    • Sjaak Smetsers, Erik Barendsen
    Pages 47-59

  7. Functional Semantics

    • Pieter Koopman
    Pages 60-78

  8. Why Functional Programming Matters to Me

    • Peter Achten
    Pages 79-96

  9. Clocks for Functional Programs

    • Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
    Pages 97-126

  10. Declarative Natural Language Specifications

    • Pascal Serrarens
    Pages 127-132

  11. Clean Up the Web!

    • László Domoszlai, Tamás Kozsik
    Pages 133-150

  12. A Duality of Sorts

    • Ralf Hinze, José Pedro Magalhães, Nicolas Wu
    Pages 151-167

  13. Programming in the λ-Calculus: From Church to Scott and Back

    • Jan Martin Jansen
    Pages 168-180

  14. Modelling Unique and Affine Typing Using Polymorphism

    • Edsko de Vries
    Pages 181-192

  15. Evolution of a Parallel Task Combinator

    • Bas Lijnse
    Pages 193-210

  16. Beautiful Workflows: A Matter of Taste?

    • Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers
    Pages 211-233

  17. Parse Your Options

    • Doaitse S. Swierstra, Atze Dijkstra
    Pages 234-249

  18. The Beauty of Declarative Purely Functional Projections

    • Steffen Michels
    Pages 250-257

  19. Finding Palindromes: Variants and Algorithms

    • Johan Jeuring
    Pages 258-272

  20. Beautiful Imperative Code

    • Marco T. Morazán
    Pages 273-284
Back to top

Keywords

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.

Editors and Affiliations

  • Institute for Computing and Information Sciences (ICIS), Radboud University Nijmegen, Nijmegen, The Netherlands

    Peter Achten, Pieter Koopman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation