Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing (1998)

Cached

Download Links

by Chrysafis Hartonas , Takis Hartonas , Matthew Hennessy
Citations:6 - 2 self