Programming in Haskell

by Graham Hutton

Real World OCaml

by Yaron Minsky, Anil Madhavapeddy

The Haskell Road To Logic, Maths And Programming (Texts in C...

by Jan van Eijck

Programming languages implementation and logic programming

by PLILP '88 (1988 Orléans, France)

Foundations of Logic and Functional Programming Workshop

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

Domain-theoretic Foundations of Functional Programming

by Thomas Streicher

Programming language implementation and logic programming

by PLILP '92 (1992 Louvain, Belgium), Belgium) Plilp 9 (1992 Louvain

Combinators and functional programming languages

by Guy Cousineau

Programming language implementation and logic programming

by PLILP '91 (1991 Passau, Germany), Germany) Plilp 9 (1991 Passau

Standard ML of New Jersey is a compiler and programming environment for the Standard ML language[26] that has been conti...