The Beauty of Functional Code

Publications

2013

Steffen van Bakel, Reuben N. S. Rowe
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. The Beauty of Functional Code (2013)
Ralf Hinze, José Pedro Magalhães, Nicolas Wu
A Duality of Sorts. The Beauty of Functional Code (2013)
Sjaak Smetsers, Erik Barendsen
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. The Beauty of Functional Code (2013)
Peter Achten
Why Functional Programming Matters to Me. The Beauty of Functional Code (2013)
Jan Martin Jansen
Programming in the λ-Calculus: From Church to Scott and Back. The Beauty of Functional Code (2013)
Pieter W. M. Koopman
Functional Semantics. The Beauty of Functional Code (2013)
Maarten de Mol, Marko C. J. D. van Eekelen
Beautiful Code, Beautiful Proof? The Beauty of Functional Code (2013)
Edsko de Vries
Modelling Unique and Affine Typing Using Polymorphism. The Beauty of Functional Code (2013)
Andrew Polonsky, Henk Barendregt
An Ontology of States. The Beauty of Functional Code (2013)
Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers
Beautiful Workflows: A Matter of Taste? The Beauty of Functional Code (2013)
Marco T. Morazán
Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers. The Beauty of Functional Code (2013)
S. Doaitse Swierstra, Atze Dijkstra
Parse Your Options. The Beauty of Functional Code (2013)
Bas Lijnse
Evolution of a Parallel Task Combinator. The Beauty of Functional Code (2013)
László Domoszlai, Tamás Kozsik
Clean Up the Web! - Rapid Client-Side Web Development with Clean. The Beauty of Functional Code (2013)
Steffen Michels
The Beauty of Declarative Purely Functional Projections. The Beauty of Functional Code (2013)
Johan Jeuring
Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code (2013)
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
Clocks for Functional Programs. The Beauty of Functional Code (2013)
Tom Brus
Beauty and Code. The Beauty of Functional Code (2013)
Pascal R. Serrarens
Declarative Natural Language Specifications. The Beauty of Functional Code (2013)

volume 8106, 2013

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