11. Ghostbuster: A tool for simplifying and converting GADTs. (22nd June 2018) Authors: ZAKIAN, TIMOTHY A. K.; MCDONELL, TREVOR L.; CIMINI, MATTEO; NEWTON, RYAN R. 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) ↗
12. Infusing an HtDP-based CS1 with distributed programming using functional video games. (6th March 2018) Authors: MORAZÁN, MARCO T. 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) ↗
13. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK 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) ↗
14. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (22nd November 2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK 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) ↗
15. On constructing 2-3 trees. (26th October 2018) Authors: HINZE, RALF 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) ↗
16. Parberry's pairwise sorting network revealed. (13th November 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) ↗
17. PhD Abstracts. (13th July 2018) Authors: HUTTON, GRAHAM 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) ↗
18. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. (10th May 2018) Authors: COCKX, JESPER; DEVRIESE, DOMINIQUE 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) ↗
19. Push versus pull-based loop fusion in query engines. (10th April 2018) Authors: SHAIKHHA, AMIR; DASHTI, MOHAMMAD; KOCH, CHRISTOPH 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) ↗
20. Size-based termination of higher-order rewriting. (19th April 2018) Authors: BLANQUI, FRÉDÉ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) ↗