The Beauty of Functional Code
Springer Berlin (Verlag)
978-3-642-40354-5 (ISBN)
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.
Erscheint lt. Verlag | 13.9.2013 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIV, 285 p. 31 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 462 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | clean • Lambda Calculus • lazy functional programming • Semantics • Web Development |
ISBN-10 | 3-642-40354-9 / 3642403549 |
ISBN-13 | 978-3-642-40354-5 / 9783642403545 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich