1050 results in Journal of Functional Programming
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 11 November 2021, e30
-
- Article
-
- You have access
- Open access
- Export citation
A greedy algorithm for dropping digits
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 04 November 2021, e29
-
- Article
-
- You have access
- Export citation
Taming the Merge Operator
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 02 November 2021, e28
-
- Article
-
- You have access
- Export citation
Relational cost analysis in a functional-imperative setting
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 02 November 2021, e27
-
- Article
-
- You have access
- Open access
- Export citation
On the correctness of monadic backward induction
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 29 October 2021, e26
-
- Article
-
- You have access
- Open access
- Export citation
Cogent: uniqueness types and certifying compilation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 27 October 2021, e25
-
- Article
-
- You have access
- Open access
- Export citation
Extensional equality preservation and verified generic programming
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 21 October 2021, e24
-
- Article
-
- You have access
- Open access
- Export citation
Segments: An alternative rainfall problem
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 19 October 2021, e23
-
- Article
-
- You have access
- Open access
- Export citation
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 19 October 2021, e22
-
- Article
-
- You have access
- Export citation
Gradual type theory
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 14 October 2021, e21
-
- Article
-
- You have access
- Open access
- Export citation
Blame and coercion: Together again for the first time
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 13 October 2021, e20
-
- Article
-
- You have access
- Open access
- Export citation
Real-time MLton: A Standard ML runtime for real-time functional programs
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 31 August 2021, e19
-
- Article
-
- You have access
- Export citation
Verified secure compilation for mixed-sensitivity concurrent programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 28 July 2021, e18
-
- Article
-
- You have access
- Export citation
A trustful monad for axiomatic reasoning with probability and nondeterminism
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 15 July 2021, e17
-
- Article
-
- You have access
- Export citation
What is an education paper?
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 12 July 2021, e16
-
- Article
-
- You have access
- HTML
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 02 July 2021, e14
-
- Article
-
- You have access
- Export citation
How to design co-programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 02 July 2021, e15
-
- Article
-
- You have access
- Export citation
Composable data visualizations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 17 June 2021, e13
-
- Article
-
- You have access
- Open access
- Export citation
Proof-directed program transformation: A functional account of efficient regular expression matching
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 24 May 2021, e12
-
- Article
-
- You have access
- Export citation
Higher order functions and Brouwer’s thesis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 19 May 2021, e11
-
- Article
-
- You have access
- Open access
- Export citation