Skip to content

A Type System for Dynamic Web Documents.

Anders Sandholm, Michael I. Schwartzbach

VenueA*POPL
Year2000
ProceedingsPOPL

Browse the full POPL paper archive.