"Functional and Logic Programming, 8 conf., FLOPS 2006" - читать интересную книгу автора (Masami Hagiya, Philip Wadler)