1054 results in Journal of Functional Programming
Algebraic effects and handlers for arrows
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 03 October 2024, e8
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Review of “Real World OCaml: Functional Programming for the Masses” Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 27 September 2024, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Type-directed operational semantics for gradual typing
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 26 September 2024, e9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 24 September 2024, e10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Signature restriction for polymorphic algebraic effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 27 May 2024, e7
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 24 May 2024, e6
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Asymptotic speedup via effect handlers
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 05 April 2024, e5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Static Blame for gradual typing
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 25 March 2024, e4
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Knuth–Morris–Pratt illustrated
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 30 January 2024, e3
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Sparcl: A language for partially invertible computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 26 January 2024, e2
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Alice or Bob?: Process polymorphism in choreographies
-
- Journal:
- Journal of Functional Programming / Volume 34 / 2024
- Published online by Cambridge University Press:
- 23 January 2024, e1
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 05 January 2024, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Trace contracts
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 13 December 2023, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Certified, total serialisers with an application to Huffman encoding
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 12 December 2023, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 12 December 2023, e13
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A correct-by-construction conversion from lambda calculus to combinatory logic
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 22 November 2023, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Contract lenses: Reasoning about bidirectional programs via calculation
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 06 November 2023, e10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Programming language semantics: It’s easy as 1,2,3
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 26 October 2023, e9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 09 October 2023, e8
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Normalization by evaluation for modal dependent type theory
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 02 October 2023, e7
-
- Article
-
- You have access
- Open access
- HTML
- Export citation