1050 results in Journal of Functional Programming
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 29 June 2020, e18
-
- Article
-
- You have access
- Export citation
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 17 June 2020, e17
-
- Article
-
- You have access
- Export citation
Type-Driven Development with Idris
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 10 June 2020, e16
-
- Article
-
- You have access
- Export citation
Explicit effect subtyping
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 08 June 2020, e15
-
- Article
-
- You have access
- Export citation
Tight typings and split bounds, fully developed
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 19 May 2020, e14
-
- Article
-
- You have access
- Export citation
Local algebraic effect theories
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 11 May 2020, e13
-
- Article
-
- You have access
- Export citation
Fault-tolerant functional reactive programming (extended version)
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 07 May 2020, e12
-
- Article
-
- You have access
- Export citation
Build systems à la carte: Theory and practice
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 21 April 2020, e11
-
- Article
-
- You have access
- Open access
- Export citation
Heterogeneous binary random-access lists
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 07 April 2020, e10
-
- Article
-
- You have access
- Open access
- Export citation
Doo bee doo bee doo
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 31 March 2020, e9
-
- Article
-
- You have access
- Open access
- Export citation
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 31 March 2020, e8
-
- Article
-
- You have access
- Open access
- Export citation
Many more predecessors: A representation workout
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 30 March 2020, e7
-
- Article
-
- You have access
- Export citation
Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 27 March 2020, e6
-
- Article
-
- You have access
- Export citation
Effect handlers via generalised continuations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 16 March 2020, e5
-
- Article
-
- You have access
- Export citation
Review of “Thinking with Types”* by Sandy Maguire, LeanPub, 2019
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 20 February 2020, e4
-
- Article
-
- You have access
- Export citation
Elaborating dependent (co)pattern matching: No pattern left behind
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 21 January 2020, e2
-
- Article
-
- You have access
- Open access
- Export citation
An optimal, purely functional implementation of the Garsia–Wachs algorithm
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 21 January 2020, e3
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 09 January 2020, e1
-
- Article
-
- You have access
- Export citation
How to prove decidability of equational theories with second-order computation analyser SOL
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 24 December 2019, e20
-
- Article
-
- You have access
- Export citation
POPLMark reloaded: Mechanizing proofs by logical relations
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 10 December 2019, e19
-
- Article
-
- You have access
- Export citation