 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.
Article
Ferreira, William, Hennessy, Matthew and Jeffrey, Alan (1998) A Theory of Weak Bisimulation for Core CML. Journal of Functional Programming, 8. pp. 447-491.
Streicher, Th and Reus, B (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming, 8 (6). pp. 543-572. ISSN 0956-7968