1050 results in Journal of Functional Programming
Review of “The Haskell School of Music: from Signals to Symphonies,” by Paul Hudak and Donya Quick, Cambridge University Press, 2018
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 22 November 2019, e18
-
- Article
-
- You have access
- Export citation
Gradual session types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 18 November 2019, e17
-
- Article
-
- You have access
- Open access
- Export citation
A relational logic for higher-order programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 21 October 2019, e16
-
- Article
-
- You have access
- Export citation
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 08 October 2019, e15
-
- Article
-
- You have access
- Export citation
Emerging languages: An alternative approach to teaching programming languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 26 September 2019, e13
-
- Article
-
- You have access
- Export citation
Pure iso-type systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 17 September 2019, e14
-
- Article
-
- You have access
- Export citation
Perturbation confusion in forward automatic differentiation of higher-order functions
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 16 September 2019, e12
-
- Article
-
- You have access
- Open access
- Export citation
Constructive Galois Connections
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 08 July 2019, e11
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 01 July 2019, e10
-
- Article
-
- You have access
- Export citation
A SQL to C compiler in 500 lines of code
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 03 June 2019, e9
-
- Article
-
- You have access
- Export citation
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 29 April 2019, e7
-
- Article
-
- You have access
- Export citation
How to find a fake coin
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 29 April 2019, e8
-
- Article
-
- You have access
- Export citation
Folding left and right over Peano numbers
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 17 April 2019, e6
-
- Article
-
- You have access
- Export citation
A theory of RPC calculi for client–server model
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 22 March 2019, e5
-
- Article
-
- You have access
- Export citation
How to evaluate the performance of gradual type systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 20 February 2019, e4
-
- Article
-
- You have access
- Export citation
COCHIS: Stable and coherent implicits
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 08 February 2019, e3
-
- Article
-
- You have access
- Export citation
The verified CakeML compiler backend
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 04 February 2019, e2
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 30 January 2019, e1
-
- Article
-
- You have access
- Export citation
1ML – Core and modules united
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 27 December 2018, e22
-
- Article
-
- You have access
- Export citation
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 22 November 2018, e20
-
- Article
-
- You have access
- Open access
- Export citation