1. 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) ↗
2. Book review: Book review. (2015) Authors: HUDSON, SHANE 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) ↗
3. Book review: Book review. (2015) Authors: GRUST, TORSTEN 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) ↗
4. Book Review: Book Review. (2015) Authors: CLARE, AMANDA 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) ↗
5. Book Review: Book Review. (2015) Authors: CLARE, AMANDA 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) ↗
6. Book review: Book review. (2015) Authors: HUDSON, SHANE 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) ↗
7. Book review: Book review. (2015) Authors: GRUST, TORSTEN 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) ↗
8. Calculating a linear-time solution to the densest-segment problem. (14th December 2015) Authors: CURTIS, SHARON; MU, SHIN-CHENG 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) ↗
9. Calculating correct compilers. (2015) Authors: BAHR, PATRICK; HUTTON, GRAHAM 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) ↗
10. Counting and generating terms in the binary lambda calculus*. (29th December 2015) Authors: GRYGIEL, KATARZYNA; LESCANNE, PIERRE 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) ↗