The Beauty of Functional Code

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

Editors:

ISBN: 978-3-642-40354-5 (Print) 978-3-642-40355-2 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-7

    Beautiful Code, Beautiful Proof?

  3. No Access

    Book Chapter

    Pages 8-17

    Beauty and Code

  4. No Access

    Book Chapter

    Pages 18-26

    An Ontology of States

  5. No Access

    Book Chapter

    Pages 27-46

    Functional Type Assignment for Featherweight Java

  6. No Access

    Book Chapter

    Pages 47-59

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

  7. No Access

    Book Chapter

    Pages 60-78

    Functional Semantics

  8. No Access

    Book Chapter

    Pages 79-96

    Why Functional Programming Matters to Me

  9. No Access

    Book Chapter

    Pages 97-126

    Clocks for Functional Programs

  10. No Access

    Book Chapter

    Pages 127-132

    Declarative Natural Language Specifications

  11. No Access

    Book Chapter

    Pages 133-150

    Clean Up the Web!

  12. No Access

    Book Chapter

    Pages 151-167

    A Duality of Sorts

  13. No Access

    Book Chapter

    Pages 168-180

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

  14. No Access

    Book Chapter

    Pages 181-192

    Modelling Unique and Affine Typing Using Polymorphism

  15. No Access

    Book Chapter

    Pages 193-210

    Evolution of a Parallel Task Combinator

  16. No Access

    Book Chapter

    Pages 211-233

    Beautiful Workflows: A Matter of Taste?

  17. No Access

    Book Chapter

    Pages 234-249

    Parse Your Options

  18. No Access

    Book Chapter

    Pages 250-257

    The Beauty of Declarative Purely Functional Projections

  19. No Access

    Book Chapter

    Pages 258-272

    Finding Palindromes: Variants and Algorithms

  20. No Access

    Book Chapter

    Pages 273-284

    Beautiful Imperative Code

  21. Back Matter

    Pages -