81. Effect handlers via generalised continuations. (16th March 2020) Authors: HILLERSTRÖM, DANIEL; LINDLEY, SAM; ATKEY, ROBERT 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) ↗
82. Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. (31st March 2020) Authors: BRACHTHÄUSER, JONATHAN IMMANUEL; SCHUSTER, PHILIPP; OSTERMANN, KLAUS 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) ↗
83. 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) ↗
84. Efficient parallel and incremental parsing of practical context-free languages. (2015) Authors: BERNARDY, JEAN-PHILIPPE; CLAESSEN, KOEN 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) ↗
85. Elaborating dependent (co)pattern matching: No pattern left behind. (21st January 2020) Authors: COCKX, JESPER; ABEL, ANDREAS 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) ↗
86. Elaborating dependent (co)pattern matching: No pattern left behind. (21st January 2020) Authors: COCKX, JESPER; ABEL, ANDREAS 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) ↗
87. Elaborating intersection and union types. Issue 2 (20th January 2014) Authors: DUNFIELD, JOSHUA Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 133 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
88. Elaborating intersection and union types. Issue 2 (May 2014) Authors: DUNFIELD, JOSHUA Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 133 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
89. Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. (21st August 2020) Authors: MCCUTCHEN, MATT; BORGHOUTS, JUDITH; GORDON, ANDREW D.; PEYTON JONES, SIMON; SARKAR, ADVAIT 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) ↗
90. 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) ↗