Higher-order functions considered unnecessary for higher-order programming

How to declare an imperative

ACM Computing Surveys (CSUR)

On introducing higher order functions in ABEL

Nordic Journal of Computing

Forwarding in Attribute Grammars for Modular Language Design

CC '02 Proceedings of the 11th International Conference on Compiler Construction

Hidden coinduction: behavioural correctness proofs for objects

Mathematical Structures in Computer Science

Maude's module algebra

Science of Computer Programming

An Institutional Theory for #-Components

Electronic Notes in Theoretical Computer Science (ENTCS)

Design and implementation of an environment for component-based parallel programming

VECPAR'06 Proceedings of the 7th international conference on High performance computing for computational science

An axiomatic approach to structuring specifications

Theoretical Computer Science

Optimizing structural recursion in functional programs

Computer Languages