Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/Blanqui18,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui},
  title        = {Size-based termination of higher-order rewriting},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e11},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000072},
  doi          = {10.1017/S0956796818000072},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Blanqui18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Breitner18,
  author       = {Joachim Breitner},
  title        = {The adequacy of Launchbury's natural semantics for lazy evaluation},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e1},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796817000144},
  doi          = {10.1017/S0956796817000144},
  timestamp    = {Mon, 22 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Breitner18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ChenE18,
  author       = {Sheng Chen and
                  Martin Erwig},
  title        = {Systematic identification and communication of type errors},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e2},
  year         = {2018},
  url          = {https://doi.org/10.1017/S095679681700020X},
  doi          = {10.1017/S095679681700020X},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/ChenE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CheneyG18,
  author       = {James Cheney and
                  Torsten Grust},
  title        = {Special Issue on Programming Languages for Big Data Editorial},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e8},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000084},
  doi          = {10.1017/S0956796818000084},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CheneyG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CockxD18,
  author       = {Jesper Cockx and
                  Dominique Devriese},
  title        = {Proof-relevant unification: Dependent pattern matching with only the
                  axioms of your type theory},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e12},
  year         = {2018},
  url          = {https://doi.org/10.1017/S095679681800014X},
  doi          = {10.1017/S095679681800014X},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CockxD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DagandTT18,
  author       = {Pierre{-}{\'{E}}variste Dagand and
                  Nicolas Tabareau and
                  {\'{E}}ric Tanter},
  title        = {Foundations of dependent interoperability},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e9},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000011},
  doi          = {10.1017/S0956796818000011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DagandTT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DownenA18,
  author       = {Paul Downen and
                  Zena M. Ariola},
  title        = {A tutorial on computational classical logic and the sequent calculus},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e3},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000023},
  doi          = {10.1017/S0956796818000023},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DownenA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GilrayAM18,
  author       = {Thomas Gilray and
                  Michael D. Adams and
                  Matthew Might},
  title        = {Abstract allocation as a unified approach to polyvariance in control-flow
                  analyses},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e18},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000138},
  doi          = {10.1017/S0956796818000138},
  timestamp    = {Sat, 04 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GilrayAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HallerMM18,
  author       = {Philipp Haller and
                  Heather Miller and
                  Normen M{\"{u}}ller},
  title        = {A programming model and foundation for lineage-based distributed computation},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e7},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000035},
  doi          = {10.1017/S0956796818000035},
  timestamp    = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HallerMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze18,
  author       = {Ralf Hinze},
  title        = {On constructing 2-3 trees},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e19},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000187},
  doi          = {10.1017/S0956796818000187},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HinzeM18,
  author       = {Ralf Hinze and
                  Clare Martin},
  title        = {Batcher's odd-even merging network revealed},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e14},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000163},
  doi          = {10.1017/S0956796818000163},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HinzeM18a,
  author       = {Ralf Hinze and
                  Clare Martin},
  title        = {Parberry's pairwise sorting network revealed},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e21},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000199},
  doi          = {10.1017/S0956796818000199},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton18,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e17},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000175},
  doi          = {10.1017/S0956796818000175},
  timestamp    = {Sat, 04 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JungKJBBD18,
  author       = {Ralf Jung and
                  Robbert Krebbers and
                  Jacques{-}Henri Jourdan and
                  Ales Bizjak and
                  Lars Birkedal and
                  Derek Dreyer},
  title        = {Iris from the ground up: {A} modular foundation for higher-order concurrent
                  separation logic},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e20},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000151},
  doi          = {10.1017/S0956796818000151},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JungKJBBD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/KellerH18,
  author       = {Gabriele Keller and
                  Fritz Henglein},
  title        = {Editorial for the Special Issue on Parallel and Concurrent Functional
                  Programming},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e6},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000060},
  doi          = {10.1017/S0956796818000060},
  timestamp    = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/KellerH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Matsuda018,
  author       = {Kazutaka Matsuda and
                  Meng Wang},
  title        = {Applicative bidirectional programming: Mixing lenses and semantic
                  bidirectionalization},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e15},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000096},
  doi          = {10.1017/S0956796818000096},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Matsuda018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Morazan18,
  author       = {Marco T. Moraz{\'{a}}n},
  title        = {Infusing an HtDP-based {CS1} with distributed programming using functional
                  video games},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e5},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000059},
  doi          = {10.1017/S0956796818000059},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Morazan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Rossberg18,
  author       = {Andreas Rossberg},
  title        = {1ML - Core and modules united},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e22},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000205},
  doi          = {10.1017/S0956796818000205},
  timestamp    = {Tue, 15 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Rossberg18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SeidelJW18,
  author       = {Eric L. Seidel and
                  Ranjit Jhala and
                  Westley Weimer},
  title        = {Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually
                  Go Wrong)},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e13},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000126},
  doi          = {10.1017/S0956796818000126},
  timestamp    = {Tue, 10 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SeidelJW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ShaikhhaD018,
  author       = {Amir Shaikhha and
                  Mohammad Dashti and
                  Christoph Koch},
  title        = {Push versus pull-based loop fusion in query engines},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e10},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000102},
  doi          = {10.1017/S0956796818000102},
  timestamp    = {Mon, 12 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ShaikhhaD018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SwordsST18,
  author       = {Cameron Swords and
                  Amr Sabry and
                  Sam Tobin{-}Hochstadt},
  title        = {An extended account of contract monitoring strategies as patterns
                  of communication},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e4},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000047},
  doi          = {10.1017/S0956796818000047},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SwordsST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ZakianMCN18,
  author       = {Timothy A. K. Zakian and
                  Trevor L. McDonell and
                  Matteo Cimini and
                  Ryan R. Newton},
  title        = {Ghostbuster: {A} tool for simplifying and converting GADTs},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e16},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0956796818000114},
  doi          = {10.1017/S0956796818000114},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ZakianMCN18.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.