171. Normal-order reduction grammars*. (17th January 2017) Authors: BENDKOWSKI, MACIEJ 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) ↗
172. Not by equations alone: Reasoning with extensible effects. (27th January 2021) Authors: KISELYOV, OLEG; MU, SHIN-CHENG; SABRY, AMR 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) ↗
173. Not by equations alone: Reasoning with extensible effects. (27th January 2021) Authors: KISELYOV, OLEG; MU, SHIN-CHENG; SABRY, AMR 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) ↗
174. Not by equations alone: Reasoning with extensible effects. (27th January 2021) Authors: KISELYOV, OLEG; MU, SHIN-CHENG; SABRY, AMR 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) ↗
175. Notions of computation as monoids*. (5th October 2017) Authors: RIVAS, EXEQUIEL; JASKELIOFF, MAURO 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) ↗
176. 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) ↗
177. On being a PhD student of Robert Harper. (13th January 2022) Authors: DREYER, DEREK; PIERCE, BENJAMIN C. Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. On constructing 2-3 trees. (26th October 2018) Authors: HINZE, RALF 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) ↗
179. On the complexity of stream equality. Issue 2 (20th January 2014) Authors: ENDRULLIS, JÖRG; HENDRIKS, DIMITRI; BAKHSHI, RENA; ROŞU, GRIGORE Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 166 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. On the complexity of stream equality. Issue 2 (May 2014) Authors: ENDRULLIS, JÖRG; HENDRIKS, DIMITRI; BAKHSHI, RENA; ROŞU, GRIGORE Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 166 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗