161. Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. (25th November 2021) Authors: MU, SHIN-CHENG; CHIANG, TSUNG-JU 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) ↗
162. Many more predecessors: A representation workout. (30th March 2020) Authors: KISELYOV, OLEG 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) ↗
163. Migrating gradual types. (6th October 2022) Authors: CAMPORA, JOHN PETER; CHEN, SHENG; ERWIG, MARTIN; WALKINGSHAW, ERIC 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) ↗
164. Modal FRP for all: Functional reactive programming without space leaks in Haskell. (26th December 2022) Authors: BAHR, PATRICK 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) ↗
165. Modular, higher order cardinality analysis in theory and practice. (16th February 2017) Authors: SERGEY, ILYA; VYTINIOTIS, DIMITRIOS; JONES, SIMON L. PEYTON; BREITNER, JOACHIM 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) ↗
166. Mtac: A monad for typed tactic programming in Coq. (2015) Authors: ZILIANI, BETA; DREYER, DEREK; KRISHNASWAMI, NEELAKANTAN R.; NANEVSKI, ALEKSANDAR; VAFEIADIS, VIKTOR 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) ↗
167. MultiMLton: A multicore-aware runtime for standard ML. Issue 6 (18th June 2014) Authors: SIVARAMAKRISHNAN, K. C.; ZIAREK, LUKASZ; JAGANNATHAN, SURESH Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: 613 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. MultiMLton: A multicore-aware runtime for standard ML. Issue 6 (November 2014) Authors: SIVARAMAKRISHNAN, K. C.; ZIAREK, LUKASZ; JAGANNATHAN, SURESH Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: 613 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. No value restriction is needed for algebraic effects and handlers*. (2017) Authors: KAMMAR, OHAD; PRETNAR, MATIJA 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) ↗
170. No value restriction is needed for algebraic effects and handlers*. (24th January 2017) Authors: KAMMAR, OHAD; PRETNAR, MATIJA 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) ↗