Browse by Journals
Number of items: 2.
Public
STEWART, Robert, MAIER, Patrick and TRINDER, Phil
(2016).
Transparent fault tolerance for scalable functional computation.
Journal of Functional Programming, 26, e5.
[Article]
None
CLARK, Tony
(1996).
Formal basis for the refinement of rule based transition systems.
Journal of Functional Programming, 6 (2), 329-354.
[Article]