1. 1ML – Core and modules united. (27th December 2018) Authors: ROSSBERG, ANDREAS Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A programming model and foundation for lineage-based distributed computation. (12th March 2018) Authors: HALLER, PHILIPP; MILLER, HEATHER; MÜLLER, NORMEN Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A tutorial on computational classical logic and the sequent calculus. (1st February 2018) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Abstract allocation as a unified approach to polyvariance in control-flow analyses. (1st August 2018) Authors: GILRAY, THOMAS; ADAMS, MICHAEL D.; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. An extended account of contract monitoring strategies as patterns of communication. (7th March 2018) Authors: SWORDS, CAMERON; SABRY, AMR; TOBIN-HOCHSTADT, SAM Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. (21st June 2018) Authors: MATSUDA, KAZUTAKA; WANG, MENG Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Batcher's odd-even merging network revealed. (2018) Authors: HINZE, RALF; MARTIN, CLARE Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). (21st May 2018) Authors: SEIDEL, ERIC L.; JHALA, RANJIT; WEIMER, WESTLEY Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Editorial for the Special Issue on Parallel and Concurrent Functional Programming. (4th March 2018) Authors: Keller, Gabriele; Henglein, Fritz Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Foundations of dependent interoperability. (13th March 2018) Authors: DAGAND, PIERRE-ÉVARISTE; TABAREAU, NICOLAS; TANTER, ÉRIC Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗