Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/AbelA02,
  author       = {Andreas Abel and
                  Thorsten Altenkirch},
  title        = {A predicative analysis of structural recursion},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {1},
  pages        = {1--41},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004191},
  doi          = {10.1017/S0956796801004191},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AbelA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AnconaZ02,
  author       = {Davide Ancona and
                  Elena Zucca},
  title        = {A calculus of module systems},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {2},
  pages        = {91--132},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004257},
  doi          = {10.1017/S0956796801004257},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AnconaZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CraryWM02,
  author       = {Karl Crary and
                  Stephanie Weirich and
                  J. Gregory Morrisett},
  title        = {Intensional polymorphism in type-erasure semantics},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {567--600},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004282},
  doi          = {10.1017/S0956796801004282},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CraryWM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Dal-ZilioG02,
  author       = {Silvano Dal{-}Zilio and
                  Andrew D. Gordon},
  title        = {Region analysis and a pi-calculus with groups},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {3},
  pages        = {229--292},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004270},
  doi          = {10.1017/S0956796801004270},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Dal-ZilioG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DugganO02,
  author       = {Dominic Duggan and
                  John Ophel},
  title        = {Type-checking multi-parameter type classes},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {2},
  pages        = {133--158},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004233},
  doi          = {10.1017/S0956796801004233},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DugganO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Faxen02,
  author       = {Karl{-}Filip Fax{\'{e}}n},
  title        = {A static semantics for Haskell},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {295--357},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004380},
  doi          = {10.1017/S0956796802004380},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Faxen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FindlerCFFKSF02,
  author       = {Robert Bruce Findler and
                  John Clements and
                  Cormac Flanagan and
                  Matthew Flatt and
                  Shriram Krishnamurthi and
                  Paul Steckler and
                  Matthias Felleisen},
  title        = {DrScheme: a programming environment for Scheme},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {2},
  pages        = {159--182},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004208},
  doi          = {10.1017/S0956796801004208},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/FindlerCFFKSF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FriedmanS02,
  author       = {Daniel P. Friedman and
                  Amr Sabry},
  title        = {{CPS} in little pieces: composing partial continuations},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {617--622},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004221},
  doi          = {10.1017/S0956796801004221},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FriedmanS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GapeyevLP02,
  author       = {Vladimir Gapeyev and
                  Michael Y. Levin and
                  Benjamin C. Pierce},
  title        = {Recursive subtyping revealed},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {511--548},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004318},
  doi          = {10.1017/S0956796802004318},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GapeyevLP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze02,
  author       = {Ralf Hinze},
  title        = {A fresh look at binary search trees},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {601--607},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004269},
  doi          = {10.1017/S0956796801004269},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hutton02,
  author       = {Graham Hutton},
  title        = {The countdown problem},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {609--616},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004300},
  doi          = {10.1017/S0956796801004300},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Hutton02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JonesM02,
  author       = {Simon L. Peyton Jones and
                  Simon Marlow},
  title        = {Secrets of the Glasgow Haskell Compiler inliner},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {393--433},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004331},
  doi          = {10.1017/S0956796802004331},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JonesM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Marlow02,
  author       = {Simon Marlow},
  title        = {Developing a high-performance web server in Concurrent Haskell},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {359--374},
  year         = {2002},
  url          = {https://doi.org/10.1017/S095679680200432X},
  doi          = {10.1017/S095679680200432X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Marlow02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/McBride02,
  author       = {Conor McBride},
  title        = {Faking it: Simulating dependent types in Haskell},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {375--392},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004355},
  doi          = {10.1017/S0956796802004355},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/McBride02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MorrisettCGW02,
  author       = {J. Gregory Morrisett and
                  Karl Crary and
                  Neal Glew and
                  David Walker},
  title        = {Stack-based typed assembly language},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {1},
  pages        = {3--88},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004178},
  doi          = {10.1017/S0956796801004178},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MorrisettCGW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Selinger02,
  author       = {Peter Selinger},
  title        = {The lambda calculus is algebraic},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {6},
  pages        = {549--566},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004294},
  doi          = {10.1017/S0956796801004294},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Selinger02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Thiemann02,
  author       = {Peter Thiemann},
  title        = {A typed representation for {HTML} and {XML} documents in Haskell},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {435--468},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004392},
  doi          = {10.1017/S0956796802004392},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Thiemann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/TrinderLP02,
  author       = {Philip W. Trinder and
                  Hans{-}Wolfgang Loidl and
                  Robert F. Pointon},
  title        = {Parallel and Distributed Haskells},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {4{\&}5},
  pages        = {469--510},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796802004343},
  doi          = {10.1017/S0956796802004343},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/TrinderLP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/WellsDMT02,
  author       = {J. B. Wells and
                  Allyn Dimock and
                  Robert Muller and
                  Franklyn A. Turbak},
  title        = {A calculus with polymorphic and polyvariant flow types},
  journal      = {J. Funct. Program.},
  volume       = {12},
  number       = {3},
  pages        = {183--227},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0956796801004245},
  doi          = {10.1017/S0956796801004245},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/WellsDMT02.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.