Private communication (1991)

by P Wadler