Soft Typing of General First-Order Languages.

Holger Becht, John Staples

Browse the full APSEC paper archive.