61. Computation semantics of the functional scientific workflow language Cuneiform*. (24th October 2017) Authors: BRANDT, JÖRGEN; REISIG, WOLFGANG; LESER, ULF 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) ↗
62. Constructive Galois Connections. (2019) Authors: DARAIS, DAVID; HORN, DAVID VAN 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) ↗
63. Contextual equivalence for inductive definitions with binders in higher order typed functional programming. Issue 6 (13th November 2013) Authors: LAKIN, MATTHEW R.; PITTS, ANDREW M. Journal: Journal of functional programming Issue: Volume 23:Issue 6(2013) Page Start: 658 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Contributions to a computational theory of policy advice and avoidability*. (24th October 2017) Authors: BOTTA, NICOLA; JANSSON, PATRIK; IONESCU, CEZAR 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) ↗
65. Correctness of compiling polymorphism to dynamic typing*. (12th December 2016) Authors: HOU (Favonia), KUEN-BANG; BENTON, NICK; HARPER, ROBERT 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) ↗
66. Correctness of compiling polymorphism to dynamic typing*. (2017) Authors: HOU (Favonia), KUEN-BANG; BENTON, NICK; HARPER, ROBERT 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) ↗
67. Counting and generating terms in the binary lambda calculus*. (29th December 2015) Authors: GRYGIEL, KATARZYNA; LESCANNE, PIERRE 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) ↗
68. Cubical Agda: A dependently typed programming language with univalence and higher inductive types. (6th April 2021) Authors: VEZZOSI, ANDREA; MÖRTBERG, ANDERS; ABEL, ANDREAS 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) ↗
69. CUFP'13 scribe's report. (2015) Authors: ERIKSEN, MARIUS; SPERBER, MICHAEL; MADHAVAPEDDY, ANIL 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) ↗
70. Deletion: The curse of the red-black tree. Issue 4 (11th September 2014) Authors: GERMANE, KIMBALL; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 423 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗