151. JFP volume 24 issue 5 Cover and Front matter. Issue 5 (15th January 2015) Journal: Journal of functional programming Issue: Volume 24:Issue 5(2014) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. JFP volume 24 issue 6 Cover and Back matter. Issue 6 (5th February 2015) Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. JFP volume 24 issue 6 Cover and Back matter. Issue 6 (5th February 2015) Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. JFP volume 24 issue 6 Cover and Front matter. Issue 6 (5th February 2015) Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. JFP volume 24 issue 6 Cover and Front matter. Issue 6 (5th February 2015) Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. (5th April 2021) Authors: MORIHATA, AKIMASA 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) ↗
157. Leibniz equality is isomorphic to Martin-Löf identity, parametrically. (17th June 2020) Authors: ABEL, ANDREAS; COCKX, JESPER; DEVRIESE, DOMINIQUE; TIMANY, AMIN; WADLER, PHILIP 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) ↗
158. Linear capabilities for fully abstract compilation of separation-logic-verified code. (30th March 2021) Authors: VAN STRYDONCK, THOMAS; PIESSENS, FRANK; DEVRIESE, DOMINIQUE 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) ↗
159. 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) ↗
160. Local algebraic effect theories. (11th May 2020) Authors: LUKŠIČ, ŽIGA; PRETNAR, MATIJA 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) ↗