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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  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 = {Sat, 27 May 2017 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