201. PhD Abstracts. (29th June 2020) Authors: HUTTON, GRAHAM 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) ↗
202. PhD Abstracts. (2nd July 2021) Authors: HUTTON, GRAHAM 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) ↗
203. PhD Abstracts. (9th February 2015) Authors: HUTTON, GRAHAM 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) ↗
204. PhD Abstracts. (9th January 2020) Authors: HUTTON, GRAHAM 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) ↗
205. PhD Abstracts. Issue 4 (July 2014) Authors: HUTTON, GRAHAM Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 474 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
206. POPLMark reloaded: Mechanizing proofs by logical relations. (2019) Authors: ABEL, ANDREAS; ALLAIS, GUILLAUME; HAMEER, ALIYA; PIENTKA, BRIGITTE; MOMIGLIANO, ALBERTO; SCHÄFER, STEVEN; STARK, KATHRIN Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
207. Preface for special section from FLOPS 2014. (22nd July 2016) Authors: CODISH, MICHAEL; SUMII, EIJIRO 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) ↗
208. Programming with ornaments. (12th December 2016) Authors: KO, HSIANG-SHANG; GIBBONS, JEREMY 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) ↗
209. Programming with ornaments. (2016) Authors: KO, HSIANG-SHANG; GIBBONS, JEREMY 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) ↗
210. Proof-directed program transformation: A functional account of efficient regular expression matching. (24th May 2021) Authors: FILINSKI, ANDRZEJ 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) ↗