![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jfp/jfp30.bht:"
@article{DBLP:journals/jfp/AbelCDTW20, author = {Andreas Abel and Jesper Cockx and Dominique Devriese and Amin Timany and Philip Wadler}, title = {Leibniz equality is isomorphic to Martin-L{\"{o}}f identity, parametrically}, journal = {J. Funct. Program.}, volume = {30}, pages = {e17}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000155}, doi = {10.1017/S0956796820000155}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AbelCDTW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AccattoliGK20, author = {Beniamino Accattoli and St{\'{e}}phane Graham{-}Lengrand and Delia Kesner}, title = {Tight typings and split bounds, fully developed}, journal = {J. Funct. Program.}, volume = {30}, pages = {e14}, year = {2020}, url = {https://doi.org/10.1017/S095679682000012X}, doi = {10.1017/S095679682000012X}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AccattoliGK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BahrH20, author = {Patrick Bahr and Graham Hutton}, title = {Calculating correct compilers {II:} Return of the register machines}, journal = {J. Funct. Program.}, volume = {30}, pages = {e25}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000209}, doi = {10.1017/S0956796820000209}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BahrH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Bird20, author = {Richard S. Bird}, title = {An optimal, purely functional implementation of the Garsia-Wachs algorithm}, journal = {J. Funct. Program.}, volume = {30}, pages = {e3}, year = {2020}, url = {https://doi.org/10.1017/S0956796819000194}, doi = {10.1017/S0956796819000194}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Bird20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BrachthauserSO20, author = {Jonathan Immanuel Brachth{\"{a}}user and Philipp Schuster and Klaus Ostermann}, title = {Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala}, journal = {J. Funct. Program.}, volume = {30}, pages = {e8}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000027}, doi = {10.1017/S0956796820000027}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BrachthauserSO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/CaldwellGF20, author = {Samuel Caldwell and Tony Garnock{-}Jones and Matthias Felleisen}, title = {Typed dataspace actors}, journal = {J. Funct. Program.}, volume = {30}, pages = {e27}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000246}, doi = {10.1017/S0956796820000246}, timestamp = {Mon, 31 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/CaldwellGF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/CockxA20, author = {Jesper Cockx and Andreas Abel}, title = {Elaborating dependent (co)pattern matching: No pattern left behind}, journal = {J. Funct. Program.}, volume = {30}, pages = {e2}, year = {2020}, url = {https://doi.org/10.1017/S0956796819000182}, doi = {10.1017/S0956796819000182}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/CockxA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/ConventLMM20, author = {Lukas Convent and Sam Lindley and Conor McBride and Craig McLaughlin}, title = {Doo bee doo bee doo}, journal = {J. Funct. Program.}, volume = {30}, pages = {e9}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000039}, doi = {10.1017/S0956796820000039}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/ConventLMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Crary20, author = {Karl Crary}, title = {A focused solution to the avoidance problem}, journal = {J. Funct. Program.}, volume = {30}, pages = {e24}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000222}, doi = {10.1017/S0956796820000222}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Crary20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Grust20, author = {Torsten Grust}, title = {Review of "Algorithm Design with Haskell" by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020}, journal = {J. Funct. Program.}, volume = {30}, pages = {e29}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000258}, doi = {10.1017/S0956796820000258}, timestamp = {Tue, 01 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Grust20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hackett20, author = {Jennifer Hackett}, title = {Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019}, journal = {J. Funct. Program.}, volume = {30}, pages = {e4}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000015}, doi = {10.1017/S0956796820000015}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Hackett20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HillerstromLA20, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley and Robert Atkey}, title = {Effect handlers via generalised continuations}, journal = {J. Funct. Program.}, volume = {30}, pages = {e5}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000040}, doi = {10.1017/S0956796820000040}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HillerstromLA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hutton20, author = {Graham Hutton}, title = {PhD Abstracts}, journal = {J. Funct. Program.}, volume = {30}, pages = {e1}, year = {2020}, url = {https://doi.org/10.1017/S0956796819000200}, doi = {10.1017/S0956796819000200}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Hutton20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hutton20a, author = {Graham Hutton}, title = {PhD Abstracts}, journal = {J. Funct. Program.}, volume = {30}, pages = {e18}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000167}, doi = {10.1017/S0956796820000167}, timestamp = {Tue, 28 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hutton20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/KarachaliasPSVS20, author = {Georgios Karachalias and Matija Pretnar and Amr Hany Saleh and Stien Vanderhallen and Tom Schrijvers}, title = {Explicit effect subtyping}, journal = {J. Funct. Program.}, volume = {30}, pages = {e15}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000131}, doi = {10.1017/S0956796820000131}, timestamp = {Wed, 15 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/KarachaliasPSVS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Kiselyov20, author = {Oleg Kiselyov}, title = {Many more predecessors: {A} representation workout}, journal = {J. Funct. Program.}, volume = {30}, pages = {e7}, year = {2020}, url = {https://doi.org/10.1017/S095679682000009X}, doi = {10.1017/S095679682000009X}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Kiselyov20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/LuksicP20, author = {Ziga Luksic and Matija Pretnar}, title = {Local algebraic effect theories}, journal = {J. Funct. Program.}, volume = {30}, pages = {e13}, year = {2020}, url = {https://doi.org/10.1017/S0956796819000212}, doi = {10.1017/S0956796819000212}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/LuksicP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/McCutchenBGJS20, author = {Matt McCutchen and Judith Borghouts and Andrew D. Gordon and Simon Peyton Jones and Advait Sarkar}, title = {Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays}, journal = {J. Funct. Program.}, volume = {30}, pages = {e26}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000234}, doi = {10.1017/S0956796820000234}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/McCutchenBGJS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/MokhovMJ20, author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones}, title = {Build systems {\`{a}} la carte: Theory and practice}, journal = {J. Funct. Program.}, volume = {30}, pages = {e11}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000088}, doi = {10.1017/S0956796820000088}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/MokhovMJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Muijnck-Hughes20, author = {Jan de Muijnck{-}Hughes}, title = {Type-Driven Development with Idris}, journal = {J. Funct. Program.}, volume = {30}, pages = {e16}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000143}, doi = {10.1017/S0956796820000143}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Muijnck-Hughes20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/PerezG20, author = {Ivan Perez and Alwyn Goodloe}, title = {Fault-tolerant functional reactive programming (extended version)}, journal = {J. Funct. Program.}, volume = {30}, pages = {e12}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000118}, doi = {10.1017/S0956796820000118}, timestamp = {Tue, 28 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/PerezG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/PerezN20, author = {Ivan Perez and Henrik Nilsson}, title = {Runtime verification and validation of functional reactive systems}, journal = {J. Funct. Program.}, volume = {30}, pages = {e28}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000210}, doi = {10.1017/S0956796820000210}, timestamp = {Sat, 19 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/PerezN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/PietersRS20, author = {Ruben P. Pieters and Exequiel Rivas and Tom Schrijvers}, title = {Generalized monoidal effects and handlers}, journal = {J. Funct. Program.}, volume = {30}, pages = {e23}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000106}, doi = {10.1017/S0956796820000106}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/PietersRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/PietersS20, author = {Ruben P. Pieters and Tom Schrijvers}, title = {Faster coroutine pipelines: {A} reconstruction}, journal = {J. Funct. Program.}, volume = {30}, pages = {e22}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000192}, doi = {10.1017/S0956796820000192}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/PietersS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Ragde20, author = {Prabhakar Ragde}, title = {Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018}, journal = {J. Funct. Program.}, volume = {30}, pages = {e19}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000179}, doi = {10.1017/S0956796820000179}, timestamp = {Fri, 31 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Ragde20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Sperber20, author = {Michael Sperber}, title = {Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, {ISBN} 978-1-617-29224-8}, journal = {J. Funct. Program.}, volume = {30}, pages = {e21}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000180}, doi = {10.1017/S0956796820000180}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Sperber20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Swierstra20, author = {Wouter Swierstra}, title = {Heterogeneous binary random-access lists}, journal = {J. Funct. Program.}, volume = {30}, pages = {e10}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000064}, doi = {10.1017/S0956796820000064}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Swierstra20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Tanter20, author = {{\'{E}}ric Tanter}, title = {Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, {MIT} Press, 2015}, journal = {J. Funct. Program.}, volume = {30}, pages = {e6}, year = {2020}, url = {https://doi.org/10.1017/S0956796820000052}, doi = {10.1017/S0956796820000052}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Tanter20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.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.