Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: The Optimal Implementation of Functional Programming Languages, Author: Andrea Asperti
Title: Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Author: Guy McCusker