1. 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) ↗
2. 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) ↗
3. Book review: Book review. (9th September 2016) Authors: THOMPSON, SIMON 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) ↗
4. Composable scheduler activations for Haskell. (27th June 2016) Authors: SIVARAMAKRISHNAN, K. C.; HARRIS, TIM; MARLOW, SIMON; PEYTON JONES, SIMON 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) ↗
5. Efficiency of lambda-encodings in total type theory. (10th March 2016) Authors: STUMP, AARON; FU, PENG 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) ↗
6. Eliminating dependent pattern matching without K. (30th August 2016) Authors: COCKX, JESPER; DEVRIESE, DOMINIQUE; PIESSENS, FRANK 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) ↗
7. Gradual type-and-effect systems. (22nd September 2016) Authors: BAÑADOS SCHWERTER, FELIPE; GARCIA, RONALD; TANTER, ÉRIC 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. Homotopical patch theory*. (13th September 2016) Authors: ANGIULI, CARLO; MOREHOUSE, EDWARD; LICATA, DANIEL R.; HARPER, ROBERT 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) ↗
9. Linear lambda terms as invariants of rooted trivalent maps. (4th November 2016) Authors: ZEILBERGER, NOAM 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) ↗
10. OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler*. (17th May 2016) Authors: CLERC, XAVIER 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) ↗