Skip to content

A Semantics-Directed Compiler Generator.

Lawrence C. Paulson

VenueA*POPL
Year1982
ProceedingsPOPL

Browse the full POPL paper archive.