Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/BentonBP98,
  author       = {P. N. Benton and
                  Gavin M. Bierman and
                  Valeria de Paiva},
  title        = {Computational Types from a Logical Perspective},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {2},
  pages        = {177--193},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898002998},
  doi          = {10.1017/S0956796898002998},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BentonBP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bird98,
  author       = {Richard S. Bird},
  title        = {Meertens Number},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {1},
  pages        = {83--88},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796897002931},
  doi          = {10.1017/S0956796897002931},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Bird98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Danvy98,
  author       = {Olivier Danvy},
  title        = {Functional Unparsing},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {6},
  pages        = {621--625},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003104},
  doi          = {10.1017/S0956796898003104},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Danvy98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Erwig98,
  author       = {Martin Erwig},
  title        = {Diets for Fat Sets},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {6},
  pages        = {627--632},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003116},
  doi          = {10.1017/S0956796898003116},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Erwig98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FerreiraHJ98,
  author       = {William Ferreira and
                  Matthew Hennessy and
                  Alan Jeffrey},
  title        = {A Theory of Weak Bisimulation for Core {CML}},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {5},
  pages        = {447--491},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003165},
  doi          = {10.1017/S0956796898003165},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FerreiraHJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hannan98,
  author       = {John Hannan},
  title        = {A Type-Based Escape Analysis for Functional Languages},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {3},
  pages        = {239--273},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003025},
  doi          = {10.1017/S0956796898003025},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hannan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HardinM98,
  author       = {Th{\'{e}}r{\`{e}}se Hardin and
                  Luc Maranget},
  title        = {Functional Runtime Systems Within the Lambda-Sigma Calculus},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {2},
  pages        = {131--176},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898002986},
  doi          = {10.1017/S0956796898002986},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HardinM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hedberg98,
  author       = {Michael Hedberg},
  title        = {A Coherence Theorem for Martin-L{\"{o}}f's Type Theory},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {4},
  pages        = {413--436},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003153},
  doi          = {10.1017/S0956796898003153},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hedberg98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HonsellPR98,
  author       = {Furio Honsell and
                  Alberto Pravato and
                  Simona Ronchi Della Rocca},
  title        = {Structured Operational Semantics of a Fragment of the Language Scheme},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {4},
  pages        = {335--365},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003074},
  doi          = {10.1017/S0956796898003074},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HonsellPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HuttonM98,
  author       = {Graham Hutton and
                  Erik Meijer},
  title        = {Monadic Parsing in Haskell},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {4},
  pages        = {437--444},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003050},
  doi          = {10.1017/S0956796898003050},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HuttonM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JanssonJ98,
  author       = {Patrik Jansson and
                  Johan Jeuring},
  title        = {Polytypic Unification},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {5},
  pages        = {527--536},
  year         = {1998},
  url          = {https://doi.org/10.1017/s095679689800313x},
  doi          = {10.1017/S095679689800313X},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JanssonJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JayBM98,
  author       = {C. Barry Jay and
                  Gianna Bell{\`{e}} and
                  Eugenio Moggi},
  title        = {Functorial {ML}},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {6},
  pages        = {573--619},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003128},
  doi          = {10.1017/S0956796898003128},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JayBM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Johnsson98,
  author       = {Thomas Johnsson},
  title        = {Efficient Graph Algorithms Using Lazy Monolithic Arrays},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {4},
  pages        = {323--333},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003062},
  doi          = {10.1017/S0956796898003062},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Johnsson98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Lapalme98,
  author       = {Guy Lapalme},
  title        = {Dynamic Tabbing for Automatic Indentation with the Layout Rule},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {5},
  pages        = {493--502},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003098},
  doi          = {10.1017/S0956796898003098},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Lapalme98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MaraistOW98,
  author       = {John Maraist and
                  Martin Odersky and
                  Philip Wadler},
  title        = {The Call-by-Need Lambda Calculus},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {3},
  pages        = {275--317},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003037},
  doi          = {10.1017/S0956796898003037},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MaraistOW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MeehanJ98,
  author       = {Gary Meehan and
                  Mike Joy},
  title        = {Animated Fuzzy Logic},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {5},
  pages        = {503--525},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003177},
  doi          = {10.1017/S0956796898003177},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MeehanJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MorganJ98,
  author       = {Richard G. Morgan and
                  Stephen A. Jarvis},
  title        = {Profiling Large-Scale Lazy Functional Programs},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {3},
  pages        = {201--237},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003013},
  doi          = {10.1017/S0956796898003013},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MorganJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Okasaki98,
  author       = {Chris Okasaki},
  title        = {Functional Pearl: Even Higher-Order Functions for Parsing},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {2},
  pages        = {195--199},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003001},
  doi          = {10.1017/S0956796898003001},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Okasaki98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Poll98,
  author       = {Erik Poll},
  title        = {Expansion Postponement for Normalising Pure Type Systems},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {1},
  pages        = {89--96},
  year         = {1998},
  url          = {https://doi.org/10.1017/s095679689700292x},
  doi          = {10.1017/S095679689700292X},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Poll98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Sabry98,
  author       = {Amr Sabry},
  title        = {What is a Purely Functional Language?},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {1},
  pages        = {1--22},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796897002943},
  doi          = {10.1017/S0956796897002943},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Sabry98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Stark98,
  author       = {Robert F. St{\"{a}}rk},
  title        = {Why the Constant 'Undefined'? Logics of Partial Terms for Strict and
                  Non-Strict Functional Programming Languages},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {2},
  pages        = {97--129},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898002974},
  doi          = {10.1017/S0956796898002974},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Stark98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/StreicherR98,
  author       = {Thomas Streicher and
                  Bernhard Reus},
  title        = {Classical Logic, Continuation Semantics and Abstract Machines},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {6},
  pages        = {543--572},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003141},
  doi          = {10.1017/S0956796898003141},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/StreicherR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/TolmachO98,
  author       = {Andrew P. Tolmach and
                  Dino Oliva},
  title        = {From {ML} to Ada: Strongly-Typed Language Interoperability via Source
                  Translation},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {4},
  pages        = {367--412},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796898003086},
  doi          = {10.1017/S0956796898003086},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/TolmachO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/TrinderHLJ98,
  author       = {Philip W. Trinder and
                  Kevin Hammond and
                  Hans{-}Wolfgang Loidl and
                  Simon L. Peyton Jones},
  title        = {Algorithms + Strategy = Parallelism},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {1},
  pages        = {23--60},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796897002967},
  doi          = {10.1017/S0956796897002967},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/TrinderHLJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Wakeling98,
  author       = {David Wakeling},
  title        = {The Dynamic Compilation of Lazy Functional Programs},
  journal      = {J. Funct. Program.},
  volume       = {8},
  number       = {1},
  pages        = {61--81},
  year         = {1998},
  url          = {https://doi.org/10.1017/s0956796897002955},
  doi          = {10.1017/S0956796897002955},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Wakeling98.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.