Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/Abel09,
  author       = {Andreas Abel},
  title        = {Implementing a normalizer using sized heterogeneous types},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {287--310},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007266},
  doi          = {10.1017/S0956796809007266},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Abel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AltenkirchC09,
  author       = {Thorsten Altenkirch and
                  James Chapman},
  title        = {Big-step normalisation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {311--333},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007278},
  doi          = {10.1017/S0956796809007278},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AltenkirchC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ArbiserMR09,
  author       = {Ariel Arbiser and
                  Alexandre Miquel and
                  Alejandro R{\'{\i}}os},
  title        = {The lambda-calculus with constructors: Syntax, confluence and separation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {581--631},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007369},
  doi          = {10.1017/S0956796809007369},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ArbiserMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Atkey09,
  author       = {Robert Atkey},
  title        = {Parameterised notions of computation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {335--376},
  year         = {2009},
  url          = {https://doi.org/10.1017/S095679680900728X},
  doi          = {10.1017/S095679680900728X},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Atkey09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Bhamidipati09,
  author       = {Saketh Bhamidipati},
  title        = {\emph{Programming in Haskell} by Graham Hutton, Cambridge University
                  Press, 2007, 184 pp., {ISBN} 0-521-69269-5},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {256--259},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007151},
  doi          = {10.1017/S0956796809007151},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Bhamidipati09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CaretteKS09,
  author       = {Jacques Carette and
                  Oleg Kiselyov and
                  Chung{-}chieh Shan},
  title        = {Finally tagless, partially evaluated: Tagless staged interpreters
                  for simpler typed languages},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {509--543},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007205},
  doi          = {10.1017/S0956796809007205},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/CaretteKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Chitil09,
  author       = {Olaf Chitil},
  title        = {\emph{Essentials of Programming Languages (third edition)} by Daniel
                  P. Friedman and Mitchell Wand, {MIT} Press, {ISBN} 978-0-262-06279-4,
                  2008},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {723--725},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007357},
  doi          = {10.1017/S0956796809007357},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Chitil09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/EncinaP09,
  author       = {Alberto de la Encina and
                  Ricardo Pe{\~{n}}a{-}Mar{\'{\i}}},
  title        = {From natural semantics to {C:} {A} formal derivation of two {STG}
                  machines},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {47--94},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006746},
  doi          = {10.1017/S0956796808006746},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/EncinaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/FrankauSNB09,
  author       = {Simon Frankau and
                  Diomidis Spinellis and
                  Nick Nassuphis and
                  Christoph Burgard},
  title        = {Commercial uses: Going functional on exotic trades},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {27--45},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007016},
  doi          = {10.1017/S0956796808007016},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/FrankauSNB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Gammie09,
  author       = {Peter Gammie},
  title        = {Peter Van Roy and Seif Haridi. \emph{Concepts, Techniques, and Models
                  of Computer Programming}. The {MIT} Press, 2004. {ISBN:} 0262220695
                  Price {\textdollar}70. 930pp},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {254--256},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007028},
  doi          = {10.1017/S0956796808007028},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Gammie09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GibbonsO09,
  author       = {Jeremy Gibbons and
                  Bruno C. d. S. Oliveira},
  title        = {The essence of the Iterator pattern},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {377--402},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007291},
  doi          = {10.1017/S0956796809007291},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/GibbonsO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/GillH09,
  author       = {Andy Gill and
                  Graham Hutton},
  title        = {The worker/wrapper transformation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {227--251},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007175},
  doi          = {10.1017/S0956796809007175},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/GillH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Harper09,
  author       = {Robert Harper},
  title        = {{FUNCTIONAL} {PEARL.} Proof-directed debugging - Corrigendum},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {262},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007119},
  doi          = {10.1017/S0956796808007119},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Harper09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze09,
  author       = {Ralf Hinze},
  title        = {The Bird Tree},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {491--508},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809990116},
  doi          = {10.1017/S0956796809990116},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Hinze09a,
  author       = {Ralf Hinze},
  title        = {Purely Functional 1-2 Brother Trees},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {633--644},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007333},
  doi          = {10.1017/S0956796809007333},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hinze09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JacobsHH09,
  author       = {Bart Jacobs and
                  Chris Heunen and
                  Ichiro Hasuo},
  title        = {Categorical semantics for arrows},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {403--438},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007308},
  doi          = {10.1017/S0956796809007308},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JacobsHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/JayK09,
  author       = {C. Barry Jay and
                  Delia Kesner},
  title        = {First-class patterns},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {191--225},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007144},
  doi          = {10.1017/S0956796808007144},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/JayK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/LackP09,
  author       = {Stephen Lack and
                  John Power},
  title        = {Gabriel-Ulmer duality and Lawvere theories enriched over a general
                  base},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {265--286},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007254},
  doi          = {10.1017/S0956796809007254},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/LackP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Leroy09,
  author       = {Xavier Leroy},
  title        = {Editorial},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {143},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007187},
  doi          = {10.1017/S0956796809007187},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Leroy09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/LeroyF09,
  author       = {Xavier Leroy and
                  Matthias Felleisen},
  title        = {Editorial},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {489--490},
  year         = {2009},
  url          = {https://doi.org/10.1017/S095679680999013X},
  doi          = {10.1017/S095679680999013X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/LeroyF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Matthes09,
  author       = {Ralph Matthes},
  title        = {An induction principle for nested datatypes in intensional type theory},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {439--468},
  year         = {2009},
  url          = {https://doi.org/10.1017/S095679680900731X},
  doi          = {10.1017/S095679680900731X},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/Matthes09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/McBrideU09,
  author       = {Conor McBride and
                  Tarmo Uustalu},
  title        = {Preface},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {263--264},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007242},
  doi          = {10.1017/S0956796809007242},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/McBrideU09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/MuKJ09,
  author       = {Shin{-}Cheng Mu and
                  Hsiang{-}Shang Ko and
                  Patrik Jansson},
  title        = {Algebra of programming in Agda: Dependent types for relational program
                  derivation},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {5},
  pages        = {545--579},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007345},
  doi          = {10.1017/S0956796809007345},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MuKJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/NakataH09,
  author       = {Keiko Nakata and
                  Masahito Hasegawa},
  title        = {Small-step and big-step semantics for call-by-need},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {699--722},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809990219},
  doi          = {10.1017/S0956796809990219},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/NakataH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ONeill09,
  author       = {Melissa E. O'Neill},
  title        = {The Genuine Sieve of Eratosthenes},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {95--106},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007004},
  doi          = {10.1017/S0956796808007004},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/ONeill09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/OwensRT09,
  author       = {Scott Owens and
                  John H. Reppy and
                  Aaron Turon},
  title        = {Regular-expression derivatives re-examined},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {173--190},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007090},
  doi          = {10.1017/S0956796808007090},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/OwensRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/ParkI09,
  author       = {Sungwoo Park and
                  Hyeonseung Im},
  title        = {Type-safe higher-order channels with channel locality},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {107--142},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006989},
  doi          = {10.1017/S0956796808006989},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/ParkI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Rhiger09,
  author       = {Morten Rhiger},
  title        = {Type-safe pattern combinators},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {145--156},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808007089},
  doi          = {10.1017/S0956796808007089},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Rhiger09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Sankar09,
  author       = {Krishna Sankar},
  title        = {\emph{Programming Erlang - Software for a Concurrent World} by Joe
                  Armstrong, Pragmatic Bookshelf, 2007, p. 536. {ISBN-10:} 193435600X},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {259--261},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007163},
  doi          = {10.1017/S0956796809007163},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Sankar09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SchrijversSW09,
  author       = {Tom Schrijvers and
                  Peter J. Stuckey and
                  Philip Wadler},
  title        = {Monadic constraint programming},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {663--697},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809990086},
  doi          = {10.1017/S0956796809990086},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/SchrijversSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Schwinghammer09,
  author       = {Jan Schwinghammer},
  title        = {Coherence of subsumption for monadic types},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {157--172},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006886},
  doi          = {10.1017/S0956796808006886},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Schwinghammer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Sloane09,
  author       = {Anthony M. Sloane},
  title        = {\emph{Software Abstractions: Logic, Language, and Analysis} by Daniel
                  Jackson, The {MIT} Press, 2006, 366pp, {ISBN} 978-0262101141},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {2},
  pages        = {253--254},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006977},
  doi          = {10.1017/S0956796808006977},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Sloane09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Spivey09,
  author       = {J. Michael Spivey},
  title        = {Algebras for combinatorial search},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {469--487},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007321},
  doi          = {10.1017/S0956796809007321},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Spivey09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SwierstraC09,
  author       = {S. Doaitse Swierstra and
                  Olaf Chitil},
  title        = {Linear, bounded, functional pretty-printing},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {1--16},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006990},
  doi          = {10.1017/S0956796808006990},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SwierstraC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Thielecke09,
  author       = {Hayo Thielecke},
  title        = {Control effects as a modality},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {1},
  pages        = {17--26},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796808006734},
  doi          = {10.1017/S0956796808006734},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Thielecke09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/WalkingshawE09,
  author       = {Eric Walkingshaw and
                  Martin Erwig},
  title        = {A domain-specific language for experimental game theory},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {6},
  pages        = {645--661},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809990220},
  doi          = {10.1017/S0956796809990220},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/WalkingshawE09.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.