D. A. Turner
: Miranda: A Non-Strict Functional language with Polymorphic Types.
: How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages.
David A. Plaisted
: An Architecture for fast Data Movement in the FFP Machine.
John T. O'Donnell
: An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages.
: Lambda Lifting: Treansforming Programs to Recursive Equations.
: Designing Regular Array Architectures using Higher Order Functions.
: A Distributed Garbage Collection Algorithm.
David S. Wise
: Design for a Multiprocessing Heap with On-board Reference Counting.
Mark F. Young
: A Functional Language and Modular Architecture for Scientific Computing.
: Program Verification in a Logical Theory of Constructions.