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 characterization of lambda-terms transforming numerals. (22nd July 2016) Authors: PARYS, PAWEŁ 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) ↗
3. A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*. (2017) Authors: ZILIANI, BETA; SOZEAU, MATTHIEU Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*. (7th February 2017) Authors: ZILIANI, BETA; SOZEAU, MATTHIEU Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A focused solution to the avoidance problem. (6th August 2020) Authors: CRARY, KARL Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. A greedy algorithm for dropping digits. (4th November 2021) Authors: BIRD, RICHARD; MU, SHIN-CHENG Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A language for hierarchical data parallel design-space exploration on GPUs. (17th March 2016) Authors: SVENSSON, BO JOEL; NEWTON, RYAN R.; SHEERAN, MARY 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) ↗
8. 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) ↗
9. A relational logic for higher-order programs. (2019) Authors: AGUIRRE, ALEJANDRO; BARTHE, GILLES; GABOARDI, MARCO; GARG, DEEPAK; STRUB, PIERRE-YVES Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A representation theorem for second-order functionals. (2015) Authors: JASKELIOFF, MAURO; O'CONNOR, RUSSELL Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗