11. 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) ↗
12. 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) ↗
13. 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) ↗
14. Fair enumeration combinators. (30th August 2017) Authors: NEW, MAX S.; FETSCHER, BURKE; FINDLER, ROBERT BRUCE; MCCARTHY, JAY 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) ↗
15. Finiteness and rational sequences, constructively*. (2017) Authors: UUSTALU, TARMO; VELTRI, NICCOLÒ 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) ↗
16. Finiteness and rational sequences, constructively*. (5th April 2017) Authors: UUSTALU, TARMO; VELTRI, NICCOLÒ 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) ↗
17. Flexible dynamic information flow control in the presence of exceptions*. (12th January 2017) Authors: STEFAN, DEIAN; MAZIÈRES, DAVID; MITCHELL, JOHN C.; RUSSO, ALEJANDRO 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) ↗
18. 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) ↗
19. Interactive programming in Agda – Objects and graphical user interfaces. (2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON 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) ↗
20. Interactive programming in Agda – Objects and graphical user interfaces. (6th February 2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON 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) ↗