Inductively Defined Functions in Functional Programming Languages”, LFCS (1987)

by R Burstall