Skip to main content alibris logo

The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

by ,

Write The First Customer Review
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday - Achten, Peter (Editor), and Koopman, Pieter (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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: ...

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

ISBN-13: 9783642403545

2013 edition

Trade paperback