Browse by Journals

[up] Up a level
[Atom feed] Atom [RSS2 feed] RSS
Group by: Creators | Date | Item Type | Full Text Status | No Grouping
Jump to: 2016 | 1996
Number of items: 2.

2016

file
STEWART, Robert, MAIER, Patrick and TRINDER, Phil (2016). Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5. [Article]

1996

CLARK, Tony (1996). Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2), 329-354. [Article]

This list was generated on Wed Oct 16 20:33:52 2024 UTC.

SHURA supports OAI 2.0 with a base URL of https://shura.shu.ac.uk/cgi/oai2