![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.