The Beauty of Functional Code

1. Front Matter

   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

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.

• Clean
• lambda calculus
• lazy functional programming
• semantics
• web development

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

  Peter Achten, Pieter Koopman

Policies and ethics