The expression problem (1998)

by Philip Wadler