The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday - Peter Achten, Pieter Koopman ((Lecture Notes in Computer Science))