Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/0001P16,
  author       = {Andreas Abel and
                  Brigitte Pientka},
  title        = {Well-founded recursion with copatterns and sized types},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e2},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000022},
  doi          = {10.1017/S0956796816000022},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/0001P16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AcarCR16,
  author       = {Umut A. Acar and
                  Arthur Chargu{\'{e}}raud and
                  Mike Rainey},
  title        = {Oracle-guided scheduling for controlling granularity in implicitly
                  parallel languages},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e23},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000101},
  doi          = {10.1017/S0956796816000101},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AcarCR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AngiuliMLH16,
  author       = {Carlo Angiuli and
                  Edward Morehouse and
                  Daniel R. Licata and
                  Robert Harper},
  title        = {Homotopical patch theory},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e18},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000198},
  doi          = {10.1017/S0956796816000198},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/AngiuliMLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BertholdLH16,
  author       = {Jost Berthold and
                  Hans{-}Wolfgang Loidl and
                  Kevin Hammond},
  title        = {{PAEAN:} Portable and scalable runtime support for parallel Haskell
                  dialects},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e10},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000010},
  doi          = {10.1017/S0956796816000010},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BertholdLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BreitnerEJW16,
  author       = {Joachim Breitner and
                  Richard A. Eisenberg and
                  Simon Peyton Jones and
                  Stephanie Weirich},
  title        = {Safe zero-cost coercions for Haskell},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e15},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000150},
  doi          = {10.1017/S0956796816000150},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BreitnerEJW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Clerc16,
  author       = {Xavier Clerc},
  title        = {OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e7},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000095},
  doi          = {10.1017/S0956796816000095},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Clerc16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CockxDP16,
  author       = {Jesper Cockx and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {Eliminating dependent pattern matching without {K}},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e16},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000174},
  doi          = {10.1017/S0956796816000174},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CockxDP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CodishS16,
  author       = {Michael Codish and
                  Eijiro Sumii},
  title        = {Preface for special section from {FLOPS} 2014},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e14},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000149},
  doi          = {10.1017/S0956796816000149},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CodishS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DieterleHLB16,
  author       = {Mischa Dieterle and
                  Thomas Horstmeyer and
                  Rita Loogen and
                  Jost Berthold},
  title        = {Skeleton composition versus stable process systems in Eden},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e11},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000083},
  doi          = {10.1017/S0956796816000083},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DieterleHLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DreyerS16,
  author       = {Derek Dreyer and
                  Mary Sheeran},
  title        = {Special issue dedicated to {ICFP} 2014: Editorial},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e20},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000228},
  doi          = {10.1017/S0956796816000228},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DreyerS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HinzeW16,
  author       = {Ralf Hinze and
                  Nicolas Wu},
  title        = {Unifying structured recursion schemes - An Extended Study},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e1},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796815000258},
  doi          = {10.1017/S0956796815000258},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HritcuLSADHPV16,
  author       = {Catalin Hritcu and
                  Leonidas Lampropoulos and
                  Antal Spector{-}Zabusky and
                  Arthur Azevedo de Amorim and
                  Maxime D{\'{e}}n{\`{e}}s and
                  John Hughes and
                  Benjamin C. Pierce and
                  Dimitrios Vytiniotis},
  title        = {Testing noninterference, quickly},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e4},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000058},
  doi          = {10.1017/S0956796816000058},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HritcuLSADHPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton16,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e8},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000125},
  doi          = {10.1017/S0956796816000125},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton16a,
  author       = {Graham Hutton},
  title        = {PhD Abstracts},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e24},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000290},
  doi          = {10.1017/S0956796816000290},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/InoueT16,
  author       = {Jun Inoue and
                  Walid Taha},
  title        = {Reasoning about multi-stage programs},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e22},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000253},
  doi          = {10.1017/S0956796816000253},
  timestamp    = {Thu, 14 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/InoueT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Parys16,
  author       = {Pawel Parys},
  title        = {A characterization of lambda-terms transforming numerals},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e12},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000113},
  doi          = {10.1017/S0956796816000113},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Parys16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SchwerterGT16,
  author       = {Felipe Ba{\~{n}}ados Schwerter and
                  Ronald Garcia and
                  {\'{E}}ric Tanter},
  title        = {Gradual type-and-effect systems},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e19},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000162},
  doi          = {10.1017/S0956796816000162},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SchwerterGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Sivaramakrishnan16,
  author       = {K. C. Sivaramakrishnan and
                  Tim Harris and
                  Simon Marlow and
                  Simon Peyton Jones},
  title        = {Composable scheduler activations for Haskell},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e9},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000071},
  doi          = {10.1017/S0956796816000071},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Sivaramakrishnan16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/StansiferW16,
  author       = {Paul Stansifer and
                  Mitchell Wand},
  title        = {Romeo: {A} system for more flexible binding-safe programming},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e13},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000137},
  doi          = {10.1017/S0956796816000137},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/StansiferW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/StewartMT16,
  author       = {Robert J. Stewart and
                  Patrick Maier and
                  Phil Trinder},
  title        = {Transparent fault tolerance for scalable functional computation},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e5},
  year         = {2016},
  url          = {https://doi.org/10.1017/S095679681600006X},
  doi          = {10.1017/S095679681600006X},
  timestamp    = {Mon, 01 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/StewartMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Stump016,
  author       = {Aaron Stump and
                  Peng Fu},
  title        = {Efficiency of lambda-encodings in total type theory},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e3},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000034},
  doi          = {10.1017/S0956796816000034},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Stump016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SvenssonNS16,
  author       = {Bo Joel Svensson and
                  Ryan R. Newton and
                  Mary Sheeran},
  title        = {A language for hierarchical data parallel design-space exploration
                  on GPUs},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e6},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000046},
  doi          = {10.1017/S0956796816000046},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SvenssonNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Thompson16,
  author       = {Simon J. Thompson},
  title        = {Review of spreadsheet implementation technology: Basics and extensions,
                  by Peter Sestoft , {MIT} Press, 2014, {ISBN} 978-0-262-52664-7},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e17},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000204},
  doi          = {10.1017/S0956796816000204},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Thompson16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Zeilberger16,
  author       = {Noam Zeilberger},
  title        = {Linear lambda terms as invariants of rooted trivalent maps},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e21},
  year         = {2016},
  url          = {https://doi.org/10.1017/S095679681600023X},
  doi          = {10.1017/S095679681600023X},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Zeilberger16.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.