1-9 of 9 Books

Programming language implementation and logic programming
By PLILP '91 (1991 Passau, Germany),Germany) Plilp 9 (1991 Passau,J. Maluszynski,J. Mauszynski

Programming language implementation and logic programming
By PLILP '92 (1992 Louvain, Belgium),Belgium) Plilp 9 (1992 Louvain,Maurice Bruynooghe

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
By Jan van Eijck

Real World OCaml
By Yaron Minsky,Anil Madhavapeddy,Jason Hickey

Domain-theoretic Foundations of Functional Programming
By Thomas Streicher

Programming languages implementation and logic programming
By PLILP '88 (1988 Orléans, France)

Combinators and functional programming languages
By Guy Cousineau

Foundations of Logic and Functional Programming Workshop
By Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)