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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics