1. A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*. (2017) Authors: ZILIANI, BETA; SOZEAU, MATTHIEU 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. A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*. (7th February 2017) Authors: ZILIANI, BETA; SOZEAU, MATTHIEU 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. 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) ↗
4. Algebraic data integration*. (2nd November 2017) Authors: SCHULTZ, PATRICK; WISNESKY, RYAN 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. An algebra for distributed Big Data analytics. (11th December 2017) Authors: FEGARAS, LEONIDAS 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) ↗
6. Backtracking with cut via a distributive law and left-zero monoids*. (13th July 2017) Authors: PIRÓG, MACIEJ; STATON, SAM 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) ↗
7. Call-by-name extensionality and confluence. (27th February 2017) Authors: JOHNSON-FREYD, PHILIP; DOWNEN, PAUL; ARIOLA, ZENA M. 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) ↗
8. Capability-based localization of distributed and heterogeneous queries. (12th December 2017) Authors: SECO, JOÃO COSTA; FERREIRA, PAULO; LOURENÇO, HUGO 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) ↗
9. Compiling a 50-year journey*. (20th September 2017) Authors: HUTTON, GRAHAM; BAHR, PATRICK 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) ↗
10. 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) ↗