Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/AbadiCCL91,
  author       = {Mart{\'{\i}}n Abadi and
                  Luca Cardelli and
                  Pierre{-}Louis Curien and
                  Jean{-}Jacques L{\'{e}}vy},
  title        = {Explicit Substitutions},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {4},
  pages        = {375--416},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000186},
  doi          = {10.1017/S0956796800000186},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AbadiCCL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Barendregt91,
  author       = {Henk Barendregt},
  title        = {Introduction to Generalized Type Systems},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {125--154},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020025},
  doi          = {10.1017/S0956796800020025},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Barendregt91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Barendregt91a,
  author       = {Henk Barendregt},
  title        = {Self-Interpretations in lambda Calculus},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {229--233},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020062},
  doi          = {10.1017/S0956796800020062},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Barendregt91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Barendsen91,
  author       = {Erik Barendsen},
  title        = {An Unsolvable Numeral System in lambda Calculus},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {3},
  pages        = {367--372},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000149},
  doi          = {10.1017/S0956796800000149},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Barendsen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bird91,
  author       = {Richard S. Bird},
  title        = {The Minout Problem},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {1},
  pages        = {121--124},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000083},
  doi          = {10.1017/S0956796800000083},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Bird91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bird91a,
  author       = {Richard S. Bird},
  title        = {On Removing Duplicates},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {235--243},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020074},
  doi          = {10.1017/S0956796800020074},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Bird91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Burn91,
  author       = {Geoffrey Livingston Burn},
  title        = {Implementing the Evaluation Transformer Model of Reduction on Parallel
                  Machines},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {3},
  pages        = {329--366},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000137},
  doi          = {10.1017/S0956796800000137},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Burn91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Burton91,
  author       = {F. Warren Burton},
  title        = {Encapsulating Non-Determinacy in an Abstract Data Type with Determinate
                  Semantics},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {1},
  pages        = {3--20},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000046},
  doi          = {10.1017/S0956796800000046},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Burton91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CardelliL91,
  author       = {Luca Cardelli and
                  Giuseppe Longo},
  title        = {A Semantic Basis for Quest},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {4},
  pages        = {417--458},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000198},
  doi          = {10.1017/S0956796800000198},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CardelliL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GeuversN91,
  author       = {Herman Geuvers and
                  Mark{-}Jan Nederhof},
  title        = {Modular Proof of Strong Normalization for the Calculus of Constructions},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {155--189},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020037},
  doi          = {10.1017/S0956796800020037},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GeuversN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GomardJ91,
  author       = {Carsten K. Gomard and
                  Neil D. Jones},
  title        = {A Partial Evaluator for the Untyped lambda-Calculus},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {1},
  pages        = {21--69},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000058},
  doi          = {10.1017/S0956796800000058},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GomardJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HuntH91,
  author       = {Sebastian Hunt and
                  Chris Hankin},
  title        = {Fixed Points and Frontiers: {A} New Perspective},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {1},
  pages        = {91--120},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000071},
  doi          = {10.1017/S0956796800000071},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HuntH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MajorLC91,
  author       = {Fran{\c{c}}ois Major and
                  Guy Lapalme and
                  Robert Cedergren},
  title        = {Domain Generating Functions for Solving Constraint Satisfaction Problems},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {213--227},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020050},
  doi          = {10.1017/S0956796800020050},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MajorLC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MasonT91,
  author       = {Ian A. Mason and
                  Carolyn L. Talcott},
  title        = {Equivalence in Functional Languages with Effects},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {3},
  pages        = {287--327},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000125},
  doi          = {10.1017/S0956796800000125},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MasonT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Mitchell91,
  author       = {John C. Mitchell},
  title        = {Type Inference With Simple Subtypes},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {3},
  pages        = {245--285},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000113},
  doi          = {10.1017/S0956796800000113},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Mitchell91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/NielsonN91,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson},
  title        = {Using Transformations in the Implementations of Higher-Order Functions},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {4},
  pages        = {459--494},
  year         = {1991},
  url          = {https://doi.org/10.1017/S0956796800000204},
  doi          = {10.1017/S0956796800000204},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/NielsonN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Rittri91,
  author       = {Mikael Rittri},
  title        = {Using Types as Search Keys in Function Libraries},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {1},
  pages        = {71--89},
  year         = {1991},
  url          = {https://doi.org/10.1017/S095679680000006X},
  doi          = {10.1017/S095679680000006X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Rittri91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/RuncimanT91,
  author       = {Colin Runciman and
                  Ian Toyn},
  title        = {Retrieving Reusable Software Components by Polymorphic Type},
  journal      = {J. Funct. Program.},
  volume       = {1},
  number       = {2},
  pages        = {191--211},
  year         = {1991},
  url          = {https://doi.org/10.1017/s0956796800020049},
  doi          = {10.1017/S0956796800020049},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/RuncimanT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.