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