Ed Voermans

Polynomial Relators (Extended Abstract)

Roland Carl Backhouse, Paul F. Hoogendijk, Grant Malcolm, 1991, AMAST.

Pers as Types, Inductive Types and Types with Laws

Ed Voermans, 1991, Declarative Programming.

A tool for relational programmers

Graham Hutton, Ed Voermans, Erik Meijer, 1994 .

Making Functionality More General

Graham Hutton, Ed Voermans, 1991, Functional Programming.

Fixed-Point Calculus

Roland Carl Backhouse, Paul F. Hoogendijk, Eerke A. Boiten, 1995, Inf. Process. Lett..

A calculational theory of pers as types

Graham Hutton, Ed Voermans, G. Hutton, 1992 .