Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

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

Koopman, Pieter
Achten, Peter

Paperback

FictionProgramming

ISBN10: 3642403549
ISBN13: 9783642403545
Publisher: Springer
Published: Sep 13 2013
Pages: 285
Weight: 0.93
Height: 0.63 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming

View All