Toward a Rigorous Data Type Model for HTTP.

Jeffrey C. Mogul

Browse the full HotOS paper archive.