Browse by Journals

[Atom feed] Atom [RSS2 feed] RSS
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 Sat Nov 23 04:25:12 2024 UTC.