Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/Adams06,
  author       = {Robin Adams},
  title        = {Pure type systems with judgemental equality},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {219--246},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005770},
  doi          = {10.1017/S0956796805005770},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Adams06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BartheC06,
  author       = {Gilles Barthe and
                  Thierry Coquand},
  title        = {Remarks on the equational theory of non-normalizing pure type systems},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {137--155},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796803004726},
  doi          = {10.1017/S0956796803004726},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BartheC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BiernackiD06,
  author       = {Dariusz Biernacki and
                  Olivier Danvy},
  title        = {Theoretical Pearl: {A} simple proof of a folklore theorem about delimited
                  control},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {269--280},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005782},
  doi          = {10.1017/S0956796805005782},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BiernackiD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bird06,
  author       = {Richard S. Bird},
  title        = {Functional Pearl: {A} program to solve Sudoku},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {671--679},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006058},
  doi          = {10.1017/S0956796806006058},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Bird06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BirdC06,
  author       = {Richard S. Bird and
                  Sharon A. Curtis},
  title        = {Functional Pearls: Finding celebrities: {A} lesson in functional programming},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {13--20},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005678},
  doi          = {10.1017/S0956796805005678},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BirdC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BlumeM06,
  author       = {Matthias Blume and
                  David A. McAllester},
  title        = {Sound and complete models of contracts},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {375--414},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005971},
  doi          = {10.1017/S0956796806005971},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BlumeM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BucaloHMSH06,
  author       = {Anna Bucalo and
                  Furio Honsell and
                  Marino Miculan and
                  Ivan Scagnetto and
                  Martin Hofmann},
  title        = {Consistency of the theory of contexts},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {327--372},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005892},
  doi          = {10.1017/S0956796806005892},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BucaloHMSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ColazzoGMS06,
  author       = {Dario Colazzo and
                  Giorgio Ghelli and
                  Paolo Manghi and
                  Carlo Sartiani},
  title        = {Static analysis for path correctness of {XML} queries},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {621--661},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005983},
  doi          = {10.1017/S0956796806005983},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/ColazzoGMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Curtis06,
  author       = {Sharon A. Curtis},
  title        = {Functional Pearl: Marble mingling},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {129--136},
  year         = {2006},
  url          = {https://doi.org/10.1017/S095679680300474X},
  doi          = {10.1017/S095679680300474X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Curtis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ErwigAKC06,
  author       = {Martin Erwig and
                  Robin Abraham and
                  Steve Kollmansberger and
                  Irene Cooperstein},
  title        = {Gencel: a program generator for correct spreadsheets},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {293--325},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005794},
  doi          = {10.1017/S0956796805005794},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ErwigAKC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ErwigK06,
  author       = {Martin Erwig and
                  Steve Kollmansberger},
  title        = {Functional Pearls: Probabilistic functional programming in Haskell},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {21--34},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005721},
  doi          = {10.1017/S0956796805005721},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ErwigK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FindlerF06,
  author       = {Robert Bruce Findler and
                  Matthew Flatt},
  title        = {Slideshow: functional presentations},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {583--619},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006010},
  doi          = {10.1017/S0956796806006010},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FindlerF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Fisher06,
  author       = {Kathleen Fisher},
  title        = {Introduction},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {373--374},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005958},
  doi          = {10.1017/S0956796806005958},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Fisher06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FluetM06,
  author       = {Matthew Fluet and
                  Greg Morrisett},
  title        = {Monadic regions},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {485--545},
  year         = {2006},
  url          = {https://doi.org/10.1017/S095679680600596X},
  doi          = {10.1017/S095679680600596X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FluetM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FluetP06,
  author       = {Matthew Fluet and
                  Riccardo Pucella},
  title        = {Phantom types and subtyping},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {751--791},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006046},
  doi          = {10.1017/S0956796806006046},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FluetP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GibbonsLB06,
  author       = {Jeremy Gibbons and
                  David R. Lester and
                  Richard S. Bird},
  title        = {Functional Pearl: Enumerating the rationals},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {281--291},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005880},
  doi          = {10.1017/S0956796806005880},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/GibbonsLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GrundyMO06,
  author       = {Jim Grundy and
                  Thomas F. Melham and
                  John W. O'Leary},
  title        = {A reflective functional language for hardware design and theorem proving},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {157--196},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005757},
  doi          = {10.1017/S0956796805005757},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GrundyMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GustafssonS06,
  author       = {Per Gustafsson and
                  Konstantinos Sagonas},
  title        = {Efficient manipulation of binary data using pattern matching},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {35--74},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005745},
  doi          = {10.1017/S0956796805005745},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GustafssonS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze06,
  author       = {Ralf Hinze},
  title        = {Generics for the masses},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {451--483},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006022},
  doi          = {10.1017/S0956796806006022},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HinzeP06,
  author       = {Ralf Hinze and
                  Ross Paterson},
  title        = {Finger trees: a simple general-purpose data structure},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {2},
  pages        = {197--217},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005769},
  doi          = {10.1017/S0956796805005769},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HinzeP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hosaya06,
  author       = {Haruo Hosaya},
  title        = {Regular expression filters for {XML}},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {711--750},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005909},
  doi          = {10.1017/S0956796806005909},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hosaya06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Krishnamurthi06,
  author       = {Shriram Krishnamurthi},
  title        = {Educational Pearl: Automata via macros},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {3},
  pages        = {253--267},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005733},
  doi          = {10.1017/S0956796805005733},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Krishnamurthi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MaldeG06,
  author       = {Ketil Malde and
                  Robert Giegerich},
  title        = {Calculating {PSSM} probabilities with lazy dynamic programming},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {75--81},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005708},
  doi          = {10.1017/S0956796805005708},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MaldeG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MarlowJ06,
  author       = {Simon Marlow and
                  Simon L. Peyton Jones},
  title        = {Making a fast curry: push/enter vs. eval/apply for higher-order languages},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {415--449},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005995},
  doi          = {10.1017/S0956796806005995},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MarlowJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/PotaninNCB06,
  author       = {Alex Potanin and
                  James Noble and
                  Dave Clarke and
                  Robert Biddle},
  title        = {Featherweight generic confinement},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {793--811},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006125},
  doi          = {10.1017/S0956796806006125},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/PotaninNCB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ShiversF06,
  author       = {Olin Shivers and
                  David Fisher},
  title        = {Multi-return function call},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {4-5},
  pages        = {547--582},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006009},
  doi          = {10.1017/S0956796806006009},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ShiversF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Wakeling06,
  author       = {David Wakeling},
  title        = {Educational Pearl: Biological sequence similarity},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {1--12},
  year         = {2006},
  url          = {https://doi.org/10.1017/S095679680500571X},
  doi          = {10.1017/S095679680500571X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Wakeling06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Weirich06,
  author       = {Stephanie Weirich},
  title        = {Type-safe run-time polytypic programming},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {681--710},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806005879},
  doi          = {10.1017/S0956796806005879},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Weirich06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Yi06,
  author       = {Kwangkeun Yi},
  title        = {Educational Pearl: 'Proof-directed debugging' revisited for a first-order
                  version},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {663--670},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006149},
  doi          = {10.1017/S0956796806006149},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Yi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ZhaoPV06,
  author       = {Tian Zhao and
                  Jens Palsberg and
                  Jan Vitek},
  title        = {Type-based confinement},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {1},
  pages        = {83--128},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796805005691},
  doi          = {10.1017/S0956796805005691},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ZhaoPV06.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.