Search dblp for Publications

export results for "toc:db/journals/jfp/jfp30.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.