121. Higher order symbolic execution for contract verification and refutation*. (21st December 2016) Authors: NGUYÊN, PHÚC C.; TOBIN-HOCHSTADT, SAM; VAN HORN, DAVID 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) ↗
122. Homotopical patch theory*. (13th September 2016) Authors: ANGIULI, CARLO; MOREHOUSE, EDWARD; LICATA, DANIEL R.; HARPER, ROBERT 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) ↗
123. How to design co-programs. (2nd July 2021) Authors: GIBBONS, JEREMY 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) ↗
124. How to find a fake coin. (2019) Authors: BIRD, RICHARD S. 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) ↗
125. How to find a fake coin. (29th April 2019) Authors: BIRD, RICHARD S. 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) ↗
126. How to mingle streams. (2015) Authors: BIRD, RICHARD S. 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) ↗
127. How to prove decidability of equational theories with second-order computation analyser SOL. (2019) Authors: HAMANA, MAKOTO 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) ↗
128. Implicit self-adjusting computation for purely functional programs. Issue 1 (January 2014) Authors: CHEN, YAN; DUNFIELD, JOSHUA; HAMMER, MATTHEW A.; ACAR, UMUT A. Journal: Journal of functional programming Issue: Volume 24:Issue 1(2014) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Indexed containers. (2015) Authors: ALTENKIRCH, THORSTEN; GHANI, NEIL; HANCOCK, PETER; MCBRIDE, CONOR; MORRIS, PETER 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) ↗
130. Infusing an HtDP-based CS1 with distributed programming using functional video games. (6th March 2018) Authors: MORAZÁN, MARCO T. 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) ↗