1050 results in Journal of Functional Programming
Capability-based localization of distributed and heterogeneous queries
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 12 December 2017, e26
-
- Article
-
- You have access
- Export citation
An algebra for distributed Big Data analytics
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 11 December 2017, e27
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 27 November 2017, e25
-
- Article
-
- You have access
- Export citation
Algebraic data integration*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 02 November 2017, e24
-
- Article
-
- You have access
- Export citation
Contributions to a computational theory of policy advice and avoidability*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 24 October 2017, e23
-
- Article
-
- You have access
- Export citation
Computation semantics of the functional scientific workflow language Cuneiform*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 24 October 2017, e22
-
- Article
-
- You have access
- Export citation
Notions of computation as monoids*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 05 October 2017, e21
-
- Article
-
- You have access
- Export citation
Compiling a 50-year journey*
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 20 September 2017, e20
-
- Article
-
- You have access
- Export citation
Fair enumeration combinators
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 30 August 2017, e19
-
- Article
-
- You have access
- Export citation
Backtracking with cut via a distributive law and left-zero monoids*
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 13 July 2017, e17
-
- Article
-
- You have access
- Export citation
Quick specifications for the busy programmer
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 10 July 2017, e18
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 15 June 2017, e16
-
- Article
-
- You have access
- Export citation
Special issue on Programming with Dependent Types Editorial
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 08 June 2017, e15
-
- Article
-
- You have access
- Export citation
The calculus of dependent lambda eliminations*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 09 May 2017, e14
-
- Article
-
- You have access
- Export citation
Finiteness and rational sequences, constructively*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 05 April 2017, e13
-
- Article
-
- You have access
- Export citation
Call-by-name extensionality and confluence
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 27 February 2017, e12
-
- Article
-
- You have access
- Export citation
Modular, higher order cardinality analysis in theory and practice
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 16 February 2017, e11
-
- Article
-
- You have access
- Export citation
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 07 February 2017, e10
-
- Article
-
- You have access
- Export citation
Interactive programming in Agda – Objects and graphical user interfaces
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 06 February 2017, e8
-
- Article
-
- You have access
- Export citation
The essence of ornaments
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 06 February 2017, e9
-
- Article
-
- You have access
- Export citation