The Beauty of Functional Code  Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /  [electronic resource] : 
edited by Peter Achten, Pieter Koopman. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XIV, 285 p. 31 ill.) 
 - Lecture Notes in Computer Science,  8106  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642403552 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Programming languages (Electronic computers).<br/>Mathematical logic.