Skip to content

A Case Study in Specifying the Semantics of a Programming Language.

Ravi Sethi

VenueA*POPL
Year1980
ProceedingsPOPL

Browse the full POPL paper archive.