Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-26 18:31 CEST 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:
