Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures - Koopman, Pieter; Plasmeijer, Rinus; Swierstra, Doaitse; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Information theory; Computer software; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Theory of Computation