Title: A generalization of Turner's combinator-based technique for implementing a functional language
First published: 1997