221. Pushdown flow analysis with abstract garbage collection. Issue 2 (21st May 2014) Authors: JOHNSON, J. IAN; SERGEY, ILYA; EARL, CHRISTOPHER; MIGHT, MATTHEW; VAN HORN, DAVID Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
222. Quick specifications for the busy programmer. (10th July 2017) Authors: SMALLBONE, NICHOLAS; JOHANSSON, MOA; CLAESSEN, KOEN; ALGEHED, MAXIMILIAN 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) ↗
223. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. (26th February 2021) Authors: BREITNER, JOACHIM; SPECTOR-ZABUSKY, ANTAL; LI, YAO; RIZKALLAH, CHRISTINE; WIEGLEY, JOHN; COHEN, JOSHUA; WEIRICH, STEPHANIE 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) ↗
224. Real-time MLton: A Standard ML runtime for real-time functional programs. (31st August 2021) Authors: SHIVKUMAR, BHARGAV; MURPHY, JEFFREY; ZIAREK, LUKASZ 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) ↗
225. Reasoning about multi-stage programs*. (7th November 2016) Authors: INOUE, JUN; TAHA, WALID 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) ↗
226. Relational cost analysis in a functional-imperative setting. (2nd November 2021) Authors: QU, WEIHAO; GABOARDI, MARCO; GARG, DEEPAK 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) ↗
227. Romeo: A system for more flexible binding-safe programming*. (22nd July 2016) Authors: STANSIFER, PAUL; WAND, MITCHELL 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) ↗
228. Runtime verification and validation of functional reactive systems. (26th August 2020) Authors: PEREZ, IVAN; NILSSON, HENRIK 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) ↗
229. Safe zero-cost coercions for Haskell. (28th July 2016) Authors: BREITNER, JOACHIM; EISENBERG, RICHARD A.; PEYTON JONES, SIMON; WEIRICH, STEPHANIE 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) ↗
230. Segments: An alternative rainfall problem. (19th October 2021) Authors: ACHTEN, PETER 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) ↗