![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jfp/jfp26.bht:"
@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} }
![](https://dblp1.uni-trier.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.