JFP 2020
28 papers
- A focused solution to the avoidance problem
- An optimal, purely functional implementation of the Garsia-Wachs algorithm
- Build systems à la carte: Theory and practice
- Calculating correct compilers II: Return of the register machines
- Doo bee doo bee doo
- Effect handlers via generalised continuations
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Elaborating dependent (co)pattern matching: No pattern left behind
- Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays
- Explicit effect subtyping
- Faster coroutine pipelines: A reconstruction
- Fault-tolerant functional reactive programming (extended version)
- Generalized monoidal effects and handlers
- Heterogeneous binary random-access lists
- Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Local algebraic effect theories
- Many more predecessors: A representation workout
- PhD Abstracts
- PhD Abstracts
- Review of "Algorithm Design with Haskell" by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020
- Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018
- Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8
- Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
- Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019
- Runtime verification and validation of functional reactive systems
- Tight typings and split bounds, fully developed
- Type-Driven Development with Idris
- Typed dataspace actors