"Advanced functional programming: proc. school Olympia, 1996" - читать интересную книгу автора (John Launchbury, Erik Meijer, Tim Sheard)