Skip to content

Specifying the Correctness of Binding-Time Analysis.

Mitchell Wand

VenueA*POPL
Year1993
ProceedingsPOPL

Browse the full POPL paper archive.