skip to main content
Show Results with:

Full abstractness for a functional/concurrent language with higher-order value-passing.

Takis Hartonas

University of Sussex, Computer Science, 1997.

Check library holdings

Searching Remote Databases, Please Wait