default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 30
Volume 30, 2020
- Graham Hutton:
PhD Abstracts. e1 - Jesper Cockx
, Andreas Abel:
Elaborating dependent (co)pattern matching: No pattern left behind. e2
- Richard S. Bird:
An optimal, purely functional implementation of the Garsia-Wachs algorithm. e3
- Jennifer Hackett:
Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019. e4
- Daniel Hillerström, Sam Lindley, Robert Atkey:
Effect handlers via generalised continuations. e5
- Éric Tanter:
Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. e6
- Oleg Kiselyov:
Many more predecessors: A representation workout. e7
- Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann:
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. e8 - Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin:
Doo bee doo bee doo. e9
- Wouter Swierstra:
Heterogeneous binary random-access lists. e10
- Andrey Mokhov, Neil Mitchell, Simon Peyton Jones:
Build systems à la carte: Theory and practice. e11 - Ivan Perez, Alwyn Goodloe:
Fault-tolerant functional reactive programming (extended version). e12
- Ziga Luksic, Matija Pretnar:
Local algebraic effect theories. e13 - Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner:
Tight typings and split bounds, fully developed. e14 - Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers:
Explicit effect subtyping. e15 - Jan de Muijnck-Hughes:
Type-Driven Development with Idris. e16
- Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler:
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. e17
- Graham Hutton:
PhD Abstracts. e18 - Prabhakar Ragde:
Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018. e19 - Michael Sperber:
Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8. e21
- Ruben P. Pieters, Tom Schrijvers:
Faster coroutine pipelines: A reconstruction. e22 - Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers:
Generalized monoidal effects and handlers. e23 - Karl Crary:
A focused solution to the avoidance problem. e24 - Patrick Bahr, Graham Hutton:
Calculating correct compilers II: Return of the register machines. e25 - Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar:
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. e26 - Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen:
Typed dataspace actors. e27 - Ivan Perez, Henrik Nilsson:
Runtime verification and validation of functional reactive systems. e28
- Torsten Grust:
Review of "Algorithm Design with Haskell" by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020. e29
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
