1050 results in Journal of Functional Programming
Folding left and right matters: Direct style, accumulators, and continuations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 14 February 2023, e2
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Is sized typing for Coq practical?
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 24 January 2023, e1
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Modal FRP for all: Functional reactive programming without space leaks in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 26 December 2022, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PhD Abstracts
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 23 December 2022, e17
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Send to me first: Priority in synchronous message-passing
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 22 December 2022, e16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Migrating gradual types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 06 October 2022, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 29 September 2022, e13
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ANF preserves dependent types up to extensional equality
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 16 September 2022, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Extracting functional programs from Coq, in Coq
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 22 August 2022, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A well-known representation of monoids and its application to the function ‘vector reverse’
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 08 August 2022, e10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Iterating on multiple collections in synchrony
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 05 July 2022, e9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Denotational semantics as a foundation for cost recurrence extraction for functional languages
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 05 July 2022, e8
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PhD Abstracts
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 23 June 2022, e7
-
- Article
-
- You have access
- HTML
- Export citation
Back to futures
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 28 February 2022, e6
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Super-naturals
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 31 January 2022, e5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 20 January 2022, e4
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On being a PhD student of Robert Harper
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 13 January 2022, e3
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 13 January 2022, e1
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PhD Abstracts
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 13 January 2022, e2
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 25 November 2021, e31
-
- Article
-
- You have access
- HTML
- Export citation