Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/BergerHY07,
  author       = {Martin Berger and
                  Kohei Honda and
                  Nobuko Yoshida},
  title        = {A logical analysis of aliasing in imperative higher-order functions},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {473--546},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006417},
  doi          = {10.1017/S0956796807006417},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BergerHY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Courant07,
  author       = {Judica{\"{e}}l Courant},
  title        = {MC\({}_{\mbox{2}}\) {A} module calculus for Pure Type Systems},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {287--352},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806005867},
  doi          = {10.1017/S0956796806005867},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Courant07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DanvyMN07,
  author       = {Olivier Danvy and
                  Kevin Millikin and
                  Lasse R. Nielsen},
  title        = {On one-pass {CPS} transformations},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {793--812},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006387},
  doi          = {10.1017/S0956796807006387},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DanvyMN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Dreyer07,
  author       = {Derek Dreyer},
  title        = {Recursive type generativity},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {433--471},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006429},
  doi          = {10.1017/S0956796807006429},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Dreyer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DybvigJS07,
  author       = {R. Kent Dybvig and
                  Simon L. Peyton Jones and
                  Amr Sabry},
  title        = {A monadic framework for delimited continuations},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {687--730},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006259},
  doi          = {10.1017/S0956796807006259},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DybvigJS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FlattP07,
  author       = {Matthew Flatt and
                  Benjamin C. Pierce},
  title        = {Preface},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {431},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006454},
  doi          = {10.1017/S0956796807006454},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FlattP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GarciaJLSW07,
  author       = {Ronald Garcia and
                  Jaakko J{\"{a}}rvi and
                  Andrew Lumsdaine and
                  Jeremy G. Siek and
                  Jeremiah Willcock},
  title        = {An extended comparative study of language support for generic programming},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {2},
  pages        = {145--205},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006198},
  doi          = {10.1017/S0956796806006198},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GarciaJLSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GhaniJ07,
  author       = {Neil Ghani and
                  Patricia Johann},
  title        = {Monadic augment and generalised short cut fusion},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {731--776},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006314},
  doi          = {10.1017/S0956796807006314},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GhaniJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HarperL07,
  author       = {Robert Harper and
                  Daniel R. Licata},
  title        = {Mechanizing metatheory in a logical framework},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {613--673},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006430},
  doi          = {10.1017/S0956796807006430},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HarperL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HuttonW07,
  author       = {Graham Hutton and
                  Joel J. Wright},
  title        = {What is the meaning of these constant interruptions?},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {777--792},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006363},
  doi          = {10.1017/S0956796807006363},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HuttonW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones07,
  author       = {Isaac Jones},
  title        = {The Haskell School of Expression by Hudak Paul, Cambridge Univerity
                  Press, 20001},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {426--428},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006284},
  doi          = {10.1017/S0956796807006284},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JonesVWS07,
  author       = {Simon L. Peyton Jones and
                  Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Mark Shields},
  title        = {Practical type inference for arbitrary-rank types},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {1},
  pages        = {1--82},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006034},
  doi          = {10.1017/S0956796806006034},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JonesVWS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/King07,
  author       = {Peter King},
  title        = {{SMIL} 2.0 Interactive Multimedia for Web and Mobile Devices by C.
                  A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing,
                  2004, 440pp, {ISBN} 3-540-20234-X},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {423--424},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006260},
  doi          = {10.1017/S0956796807006260},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/King07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Maranget07,
  author       = {Luc Maranget},
  title        = {Warnings for pattern matching},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {387--421},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006223},
  doi          = {10.1017/S0956796807006223},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Maranget07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Michaelson07,
  author       = {Greg Michaelson},
  title        = {Inductive Synthesis of Functional Programs by U. Schmid, Springer
                  Verlag, 2003, 420pp, {ISBN} 3540401741},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {428--429},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006296},
  doi          = {10.1017/S0956796807006296},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Michaelson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Narbel07,
  author       = {Philippe Narbel},
  title        = {Type sharing constraints and undecidability},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {2},
  pages        = {207--214},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006204},
  doi          = {10.1017/S0956796806006204},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Narbel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Page07,
  author       = {Rex L. Page},
  title        = {Engineering Software Correctness},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {675--686},
  year         = {2007},
  url          = {https://doi.org/10.1017/S095679680700634X},
  doi          = {10.1017/S095679680700634X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Page07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SewellLWNAHV07,
  author       = {Peter Sewell and
                  James J. Leifer and
                  Keith Wansbrough and
                  Francesco Zappa Nardelli and
                  Mair Allen{-}Williams and
                  Pierre Habouzit and
                  Viktor Vafeiadis},
  title        = {Acute: High-level programming language design for distributed computation},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {547--612},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006442},
  doi          = {10.1017/S0956796807006442},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SewellLWNAHV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Simpson07,
  author       = {Alex Simpson},
  title        = {Programming Languages and Operational Semantics by Fern{\'{a}}ndez
                  Maribel, King's College Publications, 2004, {ISBN} 0954300637},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {424--426},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006272},
  doi          = {10.1017/S0956796807006272},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Simpson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SulzmannDJS07,
  author       = {Martin Sulzmann and
                  Gregory J. Duck and
                  Simon L. Peyton Jones and
                  Peter J. Stuckey},
  title        = {Understanding functional dependencies via constraint handling rules},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {1},
  pages        = {83--129},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006137},
  doi          = {10.1017/S0956796806006137},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SulzmannDJS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Suranyi07,
  author       = {G{\'{a}}bor Mih{\'{a}}ly Sur{\'{a}}nyi},
  title        = {An object-oriented calculus with term constraints},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {3},
  pages        = {353--386},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006174},
  doi          = {10.1017/S0956796806006174},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Suranyi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Villanueva07,
  author       = {Alicia Villanueva},
  title        = {Verification of Reactive Systems by Klaus Schneider Springer Verlag,
                  2003, 600pp, {ISBN} 3-540-00296-0},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {6},
  pages        = {813--814},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006302},
  doi          = {10.1017/S0956796807006302},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Villanueva07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Wakeling07,
  author       = {David Wakeling},
  title        = {Spreadsheet functional programming},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {1},
  pages        = {131--143},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006186},
  doi          = {10.1017/S0956796806006186},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Wakeling07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Xi07,
  author       = {Hongwei Xi},
  title        = {Dependent {ML} An approach to practical programming with dependent
                  types},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {2},
  pages        = {215--286},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796806006216},
  doi          = {10.1017/S0956796806006216},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Xi07.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.