Data structures and program transformation

Types, Abstraction and Parametric Polymorphism.

John Reynolds · IFIP Congress · 1983 · 766 citations

Automated Reasoning, Polymorphism (Computer Science), Type Theory +2

Introduction to functional programming

Paul A. Bailes · Science of Computer Programming · 1989 · 282 citations

Mathematical Programming, Engineering, Functional Programming Language +5

The promotion and accumulation strategies in transformational programming

Richard Bird · ACM Transactions on Programming Languages and Systems · 1984 · 132 citations · Full text

Algorithmics : towards programming as a mathematical activity

Lambert Meertens · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 1986 · 125 citations · Full text

Mathematical Programming, Engineering, Algorithm Design +7

Command algebras, recursion and program transformation

Wim H. Hesselink · Formal Aspects of Computing · 1990 · 10 citations