Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract).

Chrysafis Hartonas, Matthew Hennessy

Browse the full CSL paper archive.