Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/Angus03,
  author       = {Chris Angus},
  title        = {"Trends in Functional Programming" (volumes 1 {\&} 2) by Greg
                  Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1),
                  and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001,
                  2002},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {823--824},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803214878},
  doi          = {10.1017/S0956796803214878},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Angus03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/BartheCP03,
  author       = {Gilles Barthe and
                  Venanzio Capretta and
                  Olivier Pons},
  title        = {Setoids in type theory},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {261--293},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004501},
  doi          = {10.1017/S0956796802004501},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BartheCP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Boiten03,
  author       = {Eerke A. Boiten},
  title        = {"Concepts in Programming Languages" by John C. Mitchell, Cambridge
                  University Press, 2002, {ISBN} 0-521-78098-5},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {6},
  pages        = {1087--1088},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004842},
  doi          = {10.1017/S0956796803004842},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Boiten03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CalcagnoMS03,
  author       = {Cristiano Calcagno and
                  Eugenio Moggi and
                  Tim Sheard},
  title        = {Closed types for a safe imperative MetaML},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {545--571},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004598},
  doi          = {10.1017/S0956796802004598},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CalcagnoMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DamianD03,
  author       = {Daniel Damian and
                  Olivier Danvy},
  title        = {Syntactic accidents in program analysis: on the impact of the {CPS}
                  transformation},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {867--904},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004379},
  doi          = {10.1017/S0956796802004379},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DamianD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/DamianD03a,
  author       = {Daniel Damian and
                  Olivier Danvy},
  title        = {{CPS} transformation of flow information, Part {II:} administrative
                  reductions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {925--933},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004702},
  doi          = {10.1017/S0956796803004702},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DamianD03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ElliottFM03,
  author       = {Conal Elliott and
                  Sigbj{\o}rn Finne and
                  Oege de Moor},
  title        = {Compiling embedded languages},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {455--481},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004574},
  doi          = {10.1017/S0956796802004574},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ElliottFM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Felleison03,
  author       = {Matthias Felleisen},
  title        = {Welcome to the Educational Pearls Column},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {835--838},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004799},
  doi          = {10.1017/S0956796803004799},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Felleison03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Filliatre03,
  author       = {Jean{-}Christophe Filli{\^{a}}tre},
  title        = {Verification of non-functional programs using interpretations in type
                  theory},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {709--745},
  year         = {2003},
  url          = {https://doi.org/10.1017/S095679680200446X},
  doi          = {10.1017/S095679680200446X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Filliatre03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FilliatreP03,
  author       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Fran{\c{c}}ois Pottier},
  title        = {Producing all ideals of a forest, functionally},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {945--956},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004763},
  doi          = {10.1017/S0956796803004763},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FilliatreP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FischbachH03,
  author       = {Adam Fischbach and
                  John Hannan},
  title        = {Specification and correctness of lambda lifting},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {509--543},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004604},
  doi          = {10.1017/S0956796802004604},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FischbachH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FischerS03,
  author       = {Bernd Fischer and
                  Johann Schumann},
  title        = {AutoBayes: a system for generating data analysis programs from statistical
                  models},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {483--508},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004562},
  doi          = {10.1017/S0956796802004562},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/FischerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GallesioS03,
  author       = {Erick Gallesio and
                  Manuel Serrano},
  title        = {Programming graphical user interfaces with Scheme},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {839--866},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004537},
  doi          = {10.1017/S0956796802004537},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GallesioS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hains03,
  author       = {Ga{\'{e}}tan Hains},
  title        = {"Implicit parallel programming in pH" by R. S. Nikhil and Arvind,
                  Morgan Kaufmann, 2001},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {824--826},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803224874},
  doi          = {10.1017/S0956796803224874},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hains03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze03,
  author       = {Ralf Hinze},
  title        = {Formatting: a class act},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {935--944},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004367},
  doi          = {10.1017/S0956796802004367},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HosoyaP03,
  author       = {Haruo Hosoya and
                  Benjamin C. Pierce},
  title        = {Regular expression pattern matching for {XML}},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {6},
  pages        = {961--1004},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004410},
  doi          = {10.1017/S0956796802004410},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HosoyaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Huet03,
  author       = {G{\'{e}}rard P. Huet},
  title        = {Special issue on 'Logical frameworks and metalanguages'},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {257--260},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004549},
  doi          = {10.1017/S0956796802004549},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Huet03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Johann03,
  author       = {Patricia Johann},
  title        = {Short cut fusion is correct},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {797--814},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004409},
  doi          = {10.1017/S0956796802004409},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Johann03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Introduction},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {0--6},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000315},
  doi          = {10.1017/S0956796803000315},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03a,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Lexical Structure},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {7--16},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000418},
  doi          = {10.1017/S0956796803000418},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03b,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Expressions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {17--38},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000510},
  doi          = {10.1017/S0956796803000510},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03c,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Declarations and Bindings},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {39--66},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000613},
  doi          = {10.1017/S0956796803000613},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03d,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Modules},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {67--80},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000716},
  doi          = {10.1017/S0956796803000716},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03e,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Predefined Types and Classes},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {81--96},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000819},
  doi          = {10.1017/S0956796803000819},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03f,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Basic Input/Output},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {97--102},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803000911},
  doi          = {10.1017/S0956796803000911},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03g,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Standard Prelude},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {103--124},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001011},
  doi          = {10.1017/S0956796803001011},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03h,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Syntax Reference},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {125--138},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001114},
  doi          = {10.1017/S0956796803001114},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03i,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Specification of Derived Instances},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {139--144},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001217},
  doi          = {10.1017/S0956796803001217},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03j,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98: Compiler Pragmas},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {145--146},
  year         = {2003},
  url          = {https://doi.org/10.1017/S095679680300131X},
  doi          = {10.1017/S095679680300131X},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03j.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03k,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Rational Numbers},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {149--152},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001412},
  doi          = {10.1017/S0956796803001412},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03k.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03l,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Complex Numbers},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {153--156},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001515},
  doi          = {10.1017/S0956796803001515},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03l.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03m,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Numeric Functions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {157--168},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001618},
  doi          = {10.1017/S0956796803001618},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03m.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03n,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Indexing Operations},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {169--172},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001710},
  doi          = {10.1017/S0956796803001710},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03n.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03o,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Arrays},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {173--178},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001813},
  doi          = {10.1017/S0956796803001813},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03o.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03p,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: List Utilities},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {179--190},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803001916},
  doi          = {10.1017/S0956796803001916},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03p.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03q,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Maybe Utilities},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {191--192},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002016},
  doi          = {10.1017/S0956796803002016},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03q.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03r,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Character Utilities},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {193--198},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002119},
  doi          = {10.1017/S0956796803002119},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03r.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03s,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Monad Utilities},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {199--204},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002211},
  doi          = {10.1017/S0956796803002211},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03t,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Input/Output},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {205--218},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002314},
  doi          = {10.1017/S0956796803002314},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03t.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03u,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Directory Functions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {219--222},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002417},
  doi          = {10.1017/S0956796803002417},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03u.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03v,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: System Functions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {223--224},
  year         = {2003},
  url          = {https://doi.org/10.1017/S095679680300251X},
  doi          = {10.1017/S095679680300251X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03v.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03w,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Dates and Times},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {225--230},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002612},
  doi          = {10.1017/S0956796803002612},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03x,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Locales},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {231--232},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002715},
  doi          = {10.1017/S0956796803002715},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03x.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03y,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: {CPU} Time},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {233--234},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002818},
  doi          = {10.1017/S0956796803002818},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03y.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03z,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Random Numbers},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {235--240},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803002910},
  doi          = {10.1017/S0956796803002910},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03z.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Jones03za,
  author       = {Simon L. Peyton Jones},
  title        = {Haskell 98 Libraries: Bibliography},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {1},
  pages        = {241--255},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803003010},
  doi          = {10.1017/S0956796803003010},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Jones03za.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JonesW03,
  author       = {Simon L. Peyton Jones and
                  Philip Wadler},
  title        = {The Educational Pearls column},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {833--834},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004787},
  doi          = {10.1017/S0956796803004787},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JonesW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Karczmarczuk03,
  author       = {Jerzy Karczmarczuk},
  title        = {"Structure and Interpretation of Classical Mechanics" by Gerald Jay
                  Sussman and Jack Wisdom with Meinhard E. Mayer, The {MIT} Press; 2001,
                  {ISBN} 0262194554},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {826--828},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803234870},
  doi          = {10.1017/S0956796803234870},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Karczmarczuk03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Keller03,
  author       = {Bryn Keller},
  title        = {"The World of Scripting Languages" by David W. Barron, John Wiley
                  {\&} Sons, 2000, {ISBN} 0-471-99886-9},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {831--832},
  year         = {2003},
  url          = {https://doi.org/10.1017/S095679680326487X},
  doi          = {10.1017/S095679680326487X},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Keller03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/LevinP03,
  author       = {Michael Y. Levin and
                  Benjamin C. Pierce},
  title        = {TinkerType: a language for playing with formal systems},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {295--316},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004550},
  doi          = {10.1017/S0956796802004550},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/LevinP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Luo03,
  author       = {Zhaohui Luo},
  title        = {\emph{PAL}\({}^{\mbox{+}}\): a lambda-free logical framework},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {317--338},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004525},
  doi          = {10.1017/S0956796802004525},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Luo03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Luth03,
  author       = {Christoph L{\"{u}}th},
  title        = {Haskell in Space},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {6},
  pages        = {1077--1085},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004891},
  doi          = {10.1017/S0956796803004891},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Luth03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/McBride03,
  author       = {Conor McBride},
  title        = {First-order unification by structural recursion},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {6},
  pages        = {1061--1075},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803004957},
  doi          = {10.1017/S0956796803004957},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/McBride03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MonnierS03,
  author       = {Stefan Monnier and
                  Zhong Shao},
  title        = {Inlining as staged computation},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {647--676},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004616},
  doi          = {10.1017/S0956796802004616},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/MonnierS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/jfp/OHearn03,
  author       = {Peter W. O'Hearn},
  title        = {On bunched typing},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {747--796},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004495},
  doi          = {10.1017/S0956796802004495},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/OHearn03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Okasaki03,
  author       = {Chris Okasaki},
  title        = {Theoretical Pearls},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {815--822},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004483},
  doi          = {10.1017/S0956796802004483},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Okasaki03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/PalsbergW03,
  author       = {Jens Palsberg and
                  Mitchell Wand},
  title        = {{CPS} transformation of flow information},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {5},
  pages        = {905--923},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004513},
  doi          = {10.1017/S0956796802004513},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/PalsbergW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Ramsey03,
  author       = {Norman Ramsey},
  title        = {Pragmatic aspects of reusable program generators},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {601--646},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004628},
  doi          = {10.1017/S0956796802004628},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Ramsey03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/RocklH03,
  author       = {Christine R{\"{o}}ckl and
                  Daniel Hirschkoff},
  title        = {A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL
                  with mechanized syntax analysis},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {415--451},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004653},
  doi          = {10.1017/S0956796802004653},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/RocklH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Russell03,
  author       = {Dan Russell},
  title        = {"Algorithms: {A} Functional Programming Approach" by Fethi Rabhi and
                  Guy Lapalme, Addison-Wesley, 1999, {ISBN} 0-201-59604-0, xi + 235pp},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {828--829},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803244877},
  doi          = {10.1017/S0956796803244877},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Russell03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Scholz03,
  author       = {Sven{-}Bodo Scholz},
  title        = {Single Assignment {C:} efficient support for high-level array operations
                  in a functional setting},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {6},
  pages        = {1005--1059},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004458},
  doi          = {10.1017/S0956796802004458},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Scholz03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SmithGMHJ03,
  author       = {Frederick Smith and
                  Dan Grossman and
                  J. Gregory Morrisett and
                  Luke Hornof and
                  Trevor Jim},
  title        = {Compiling for template-based run-time code generation},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {677--708},
  year         = {2003},
  url          = {https://doi.org/10.1017/S095679680200463X},
  doi          = {10.1017/S095679680200463X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SmithGMHJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Taha03,
  author       = {Walid Taha},
  title        = {Semantics, Applications, and Implementation of Program Generation},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {453--454},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004677},
  doi          = {10.1017/S0956796802004677},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Taha03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Taha03a,
  author       = {Walid Taha},
  title        = {"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman,
                  Mitchell Wand and Christopher T. Haynes, {MIT} Press, {ISBN} 0-262-06217-8,
                  2001},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {4},
  pages        = {829--831},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796803254873},
  doi          = {10.1017/S0956796803254873},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Taha03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Thiemann03,
  author       = {Peter Thiemann},
  title        = {Program specialization for execution monitoring},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {3},
  pages        = {573--600},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004586},
  doi          = {10.1017/S0956796802004586},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Thiemann03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Walukiewicz-Chrzaszcz03,
  author       = {Daria Walukiewicz{-}Chrzaszcz},
  title        = {Termination of rewriting in the Calculus of Constructions},
  journal      = {J. Funct. Program.},
  volume       = {13},
  number       = {2},
  pages        = {339--414},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0956796802004641},
  doi          = {10.1017/S0956796802004641},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Walukiewicz-Chrzaszcz03.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.