21. Testing noninterference, quickly. (2016) Authors: HRIŢCU, CĂTĂLIN; LAMPROPOULOS, LEONIDAS; SPECTOR-ZABUSKY, ANTAL; AZEVEDO DE AMORIM, ARTHUR; DÉNÈS, MAXIME; HUGHES, JOHN; PIERCE, BENJAMIN C.; VYTINIOTIS, DIMITRIOS Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Transparent fault tolerance for scalable functional computation. (17th March 2016) Authors: STEWART, ROBERT; MAIER, PATRICK; TRINDER, PHIL Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Transparent fault tolerance for scalable functional computation. (2016) Authors: STEWART, ROBERT; MAIER, PATRICK; TRINDER, PHIL Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Unifying structured recursion schemes: An Extended Study. (3rd February 2016) Authors: HINZE, RALF; WU, NICOLAS Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Well-founded recursion with copatterns and sized types. (2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Well-founded recursion with copatterns and sized types. (3rd March 2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗