A semantics-directed compiler generator (1982)

by L Paulson
Venue:In Principles of Programming Languages (POPL ’82