Extended direct semantics (1990)

by M Felleisen, R S Cartwright