Title: Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Author: Guy McCusker
Title: Arrays, Functional Languages, and Parallel Systems / Edition 1, Author: Lenore M. Restifo Mullin
Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: Expert F# / Edition 1, Author: Antonio Cisternino
Title: Software Engineering with OBJ: Algebraic Specification in Action / Edition 1, Author: Joseph A. Goguen
Title: Domain-theoretic Foundations Of Functional Programming, Author: Thomas Streicher
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: The Optimal Implementation of Functional Programming Languages, Author: Andrea Asperti
Title: Foundations of F# / Edition 1, Author: Robert Pickering