The design and implementation of a declarative programming language (0)

by Fergus Henderson