Constructing programs in a calculus of lazy interpreters

Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture

Attribute grammars as a functional programming paradigm

Proc. of a conference on Functional programming languages and computer architecture

Two-level grammar as a functional programming language

The Computer Journal

Algebraic identities for program calculation

The Computer Journal - Special issue on Lazy functional programming

A database interface based on Montagues's approach to the interpretation of natural language

International Journal of Man-Machine Studies

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM