1. A simple library implementation of binary sessions*. (21st December 2016) Authors: PADOVANI, LUCA 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) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. 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) ↗