The expression problem (1998)

by P Wadler