1050 results in Journal of Functional Programming
Explainable dynamic programming
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 18 May 2021, e10
-
- Article
-
- You have access
- Export citation
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 15 April 2021, e9
-
- Article
-
- You have access
- Export citation
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 06 April 2021, e8
-
- Article
-
- You have access
- Export citation
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 05 April 2021, e7
-
- Article
-
- You have access
- Open access
- Export citation
Linear capabilities for fully abstract compilation of separation-logic-verified code
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 30 March 2021, e6
-
- Article
-
- You have access
- Export citation
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 26 February 2021, e5
-
- Article
-
- You have access
- Export citation
Integrating region memory management and tag-free generational garbage collection
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 22 February 2021, e4
-
- Article
-
- You have access
- Export citation
Protocol combinators for modeling, testing, and execution of distributed systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 15 February 2021, e3
-
- Article
-
- You have access
- Export citation
Not by equations alone: Reasoning with extensible effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 27 January 2021, e2
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 19 January 2021, e1
-
- Article
-
- You have access
- Export citation
Review of “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020.
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 30 September 2020, e29
-
- Article
-
- You have access
- Export citation
Runtime verification and validation of functional reactive systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 26 August 2020, e28
-
- Article
-
- You have access
- Export citation
Typed dataspace actors
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 24 August 2020, e27
-
- Article
-
- You have access
- Export citation
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 21 August 2020, e26
-
- Article
-
- You have access
- Export citation
Calculating correct compilers II: Return of the register machines
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 20 August 2020, e25
-
- Article
-
- You have access
- Export citation
A focused solution to the avoidance problem
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 06 August 2020, e24
-
- Article
-
- You have access
- Export citation
Faster coroutine pipelines: A reconstruction
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 03 August 2020, e22
-
- Article
-
- You have access
- Export citation
Generalized monoidal effects and handlers
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 28 July 2020, e23
-
- Article
-
- You have access
- Export citation
Review of “Functional and Reactive Domain Modeling” by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 27 July 2020, e21
-
- Article
-
- You have access
- Export citation
Review of “Algorithms for Functional Programming” by John David Stone, Springer-Verlag, 2018
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 16 July 2020, e19
-
- Article
-
- You have access
- Export citation