Abstract
PhD Abstracts
- Part of:
-
- Published online by Cambridge University Press:
- 09 January 2020, e1
-
- Article
-
- You have access
- Export citation
Research Article
Elaborating dependent (co)pattern matching: No pattern left behind
- Part of:
-
- Published online by Cambridge University Press:
- 21 January 2020, e2
-
- Article
-
- You have access
- Open access
- Export citation
Functional Pearl
An optimal, purely functional implementation of the Garsia–Wachs algorithm
- Part of:
-
- Published online by Cambridge University Press:
- 21 January 2020, e3
-
- Article
-
- You have access
- Export citation
Book Review
Review of “Thinking with Types”* by Sandy Maguire, LeanPub, 2019
-
- Published online by Cambridge University Press:
- 20 February 2020, e4
-
- Article
-
- You have access
- Export citation
Research Article
Effect handlers via generalised continuations
- Part of:
-
- Published online by Cambridge University Press:
- 16 March 2020, e5
-
- Article
-
- You have access
- Export citation
Book Review
Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
-
- Published online by Cambridge University Press:
- 27 March 2020, e6
-
- Article
-
- You have access
- Export citation
Functional Pearl
Many more predecessors: A representation workout
- Part of:
-
- Published online by Cambridge University Press:
- 30 March 2020, e7
-
- Article
-
- You have access
- Export citation
Research Article
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Part of:
-
- Published online by Cambridge University Press:
- 31 March 2020, e8
-
- Article
-
- You have access
- Open access
- Export citation
Doo bee doo bee doo
- Part of:
-
- Published online by Cambridge University Press:
- 31 March 2020, e9
-
- Article
-
- You have access
- Open access
- Export citation
Functional Pearl
Heterogeneous binary random-access lists
- Part of:
-
- Published online by Cambridge University Press:
- 07 April 2020, e10
-
- Article
-
- You have access
- Open access
- Export citation
Research Article
Build systems à la carte: Theory and practice
-
- Published online by Cambridge University Press:
- 21 April 2020, e11
-
- Article
-
- You have access
- Open access
- Export citation
Fault-tolerant functional reactive programming (extended version)
- Part of:
-
- Published online by Cambridge University Press:
- 07 May 2020, e12
-
- Article
-
- You have access
- Export citation
Local algebraic effect theories
- Part of:
-
- Published online by Cambridge University Press:
- 11 May 2020, e13
-
- Article
-
- You have access
- Export citation
Tight typings and split bounds, fully developed
- Part of:
-
- Published online by Cambridge University Press:
- 19 May 2020, e14
-
- Article
-
- You have access
- Export citation
Explicit effect subtyping
- Part of:
-
- Published online by Cambridge University Press:
- 08 June 2020, e15
-
- Article
-
- You have access
- Export citation
Book Review
Type-Driven Development with Idris
-
- Published online by Cambridge University Press:
- 10 June 2020, e16
-
- Article
-
- You have access
- Export citation
Theoretical Pearl
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Part of:
-
- Published online by Cambridge University Press:
- 17 June 2020, e17
-
- Article
-
- You have access
- Export citation
Abstract
PhD Abstracts
- Part of:
-
- Published online by Cambridge University Press:
- 29 June 2020, e18
-
- Article
-
- You have access
- Export citation
Book Review
Review of “Algorithms for Functional Programming” by John David Stone, Springer-Verlag, 2018
-
- Published online by Cambridge University Press:
- 16 July 2020, e19
-
- Article
-
- You have access
- Export citation
Review of “Functional and Reactive Domain Modeling” by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8
-
- Published online by Cambridge University Press:
- 27 July 2020, e21
-
- Article
-
- You have access
- Export citation