Compiler generation from denotational semantics (1984)

by Larry Paulson
Venue:Methods and Took for Cornpder Construction