The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday (Paperback, 2013)

Beautiful Code, Beautiful Proof?.- Beauty and Code.- An Ontology of States.- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday).- Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS.- Functional Semantics.- Why Functional Programming Matters to Me.- Clocks for Functional Programs.- Declarative Natural Language Specifications.- Clean Up the Web!: (Rapid Client-Side Web Development with Clean).- A Duality of Sorts.- Programming in the -Calculus: From Church to Scott and Back.- Modelling Unique and Affine Typing Using Polymorphism.- Evolution of a Parallel Task Combinator.- Beautiful Workflows: A Matter of Taste?.- Parse Your Options.- The Beauty of Declarative Purely Functional Projections.- Finding Palindromes: Variants and Algorithms.- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers.