Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jfp/AcarCW12,
  author       = {Umut A. Acar and
                  James Cheney and
                  Stephanie Weirich},
  title        = {Editorial - Special issue dedicated to {ICFP} 2010},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {379--381},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000287},
  doi          = {10.1017/S0956796812000287},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/AcarCW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AehligHN12,
  author       = {Klaus Aehlig and
                  Florian Haftmann and
                  Tobias Nipkow},
  title        = {A compiled implementation of normalisation by evaluation},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {1},
  pages        = {9--30},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000019},
  doi          = {10.1017/S0956796812000019},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AehligHN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BergstromFRRS12,
  author       = {Lars Bergstrom and
                  Matthew Fluet and
                  Mike Rainey and
                  John H. Reppy and
                  Adam Shaw},
  title        = {Lazy tree splitting},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {382--438},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000172},
  doi          = {10.1017/S0956796812000172},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/BergstromFRRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BernardyJP12,
  author       = {Jean{-}Philippe Bernardy and
                  Patrik Jansson and
                  Ross Paterson},
  title        = {Proofs for free - Parametricity for dependent types},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {2},
  pages        = {107--152},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000056},
  doi          = {10.1017/S0956796812000056},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BernardyJP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BiermanGHL12,
  author       = {Gavin M. Bierman and
                  Andrew D. Gordon and
                  Catalin Hritcu and
                  David E. Langworthy},
  title        = {Semantic subtyping with an {SMT} solver},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {1},
  pages        = {31--105},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000032},
  doi          = {10.1017/S0956796812000032},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/BiermanGHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Boiten12,
  author       = {Eerke A. Boiten},
  title        = {\emph{Modeling in Event-B - System and Software Engineering} Jean-Raymond
                  Abrial Cambridge University Press, May 2010 {ISBN-10:} 0521895561},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {2},
  pages        = {217--219},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000081},
  doi          = {10.1017/S0956796812000081},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Boiten12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Brown12,
  author       = {Neil Brown},
  title        = {\emph{Functional Programming for Java Developers - Tools for Better
                  Concurrency, Abstraction, and Agility}, By Wampler, Media, July 2011,
                  {ISBN-13:} 978-1449311032, 90pp},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {6},
  pages        = {853--854},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000299},
  doi          = {10.1017/S0956796812000299},
  timestamp    = {Thu, 01 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Brown12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Cebrian12,
  author       = {Toni Cebri{\'{a}}n},
  title        = {\emph{Steps in Scala: An introduction to Object-Functional Programming}
                  By Loverdos, Apostolos Syropoulos, Cambridge University Press, 2010,
                  504 pp, {ISBN} 0521747589},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {6},
  pages        = {854--855},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000330},
  doi          = {10.1017/S0956796812000330},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Cebrian12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Culpepper12,
  author       = {Ryan Culpepper},
  title        = {Fortifying macros},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {439--476},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000275},
  doi          = {10.1017/S0956796812000275},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Culpepper12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DevrieseP12,
  author       = {Dominique Devriese and
                  Frank Piessens},
  title        = {Finally tagless observable recursion for an abstract grammar model},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {6},
  pages        = {757--796},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000226},
  doi          = {10.1017/S0956796812000226},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DevrieseP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DreyerNB12,
  author       = {Derek Dreyer and
                  Georg Neis and
                  Lars Birkedal},
  title        = {The impact of higher-order state and control effects on local relational
                  reasoning},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {477--528},
  year         = {2012},
  url          = {https://doi.org/10.1017/S095679681200024X},
  doi          = {10.1017/S095679681200024X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/DreyerNB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Felleisen12,
  author       = {Matthias Felleisen},
  title        = {Editorial},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {223--224},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000202},
  doi          = {10.1017/S0956796812000202},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Felleisen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FlattCDF12,
  author       = {Matthew Flatt and
                  Ryan Culpepper and
                  David Darais and
                  Robert Bruce Findler},
  title        = {Macros that Work Together - Compile-time bindings, partial expansion,
                  and definition contexts},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {2},
  pages        = {181--216},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000093},
  doi          = {10.1017/S0956796812000093},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FlattCDF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GreenbergPW12,
  author       = {Michael Greenberg and
                  Benjamin C. Pierce and
                  Stephanie Weirich},
  title        = {Contracts made manifest},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {225--274},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000135},
  doi          = {10.1017/S0956796812000135},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/GreenbergPW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hage12,
  author       = {Jurriaan Hage},
  title        = {Bookreview {JFP:} Domain-Specific Languages by Martin Fowler The Addison
                  Wesley Signature Series},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {375--377},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000123},
  doi          = {10.1017/S0956796812000123},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Hage12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Henglein12,
  author       = {Fritz Henglein},
  title        = {Generic top-down discrimination for sorting and partitioning in linear
                  time},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {300--374},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000160},
  doi          = {10.1017/S0956796812000160},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Henglein12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HornM12,
  author       = {David Van Horn and
                  Matthew Might},
  title        = {Systematic abstraction of abstract machines},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {705--746},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000238},
  doi          = {10.1017/S0956796812000238},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HornM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KennedyV12,
  author       = {Andrew J. Kennedy and
                  Dimitrios Vytiniotis},
  title        = {Every bit counts: The binary representation of typed data and programs},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {529--573},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000263},
  doi          = {10.1017/S0956796812000263},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/KennedyV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kolar12,
  author       = {Dusan Kol{\'{a}}r},
  title        = {\emph{Drawing Programs: The Theory and Practice of Schematic Functional
                  Programming}, by Tom Addis and Jan Addis Springer, 2010, {ISBN} 978-1-84882-617-5,
                  379pp},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {2},
  pages        = {219--221},
  year         = {2012},
  url          = {https://doi.org/10.1017/S095679681200010X},
  doi          = {10.1017/S095679681200010X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Kolar12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MadhavapeddyME12,
  author       = {Anil Madhavapeddy and
                  Yaron Minsky and
                  Marius Eriksen},
  title        = {{CUFP} 2011 Workshop Report},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {1},
  pages        = {1--8},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000020},
  doi          = {10.1017/S0956796812000020},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MadhavapeddyME12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MorihataKHT12,
  author       = {Akimasa Morihata and
                  Kazuhiko Kakehi and
                  Zhenjiang Hu and
                  Masato Takeichi},
  title        = {Manipulating accumulative functions by swapping call-time and return-time
                  computations},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {3},
  pages        = {275--299},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000111},
  doi          = {10.1017/S0956796812000111},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/MorihataKHT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NaylorR12,
  author       = {Matthew Naylor and
                  Colin Runciman},
  title        = {The Reduceron reconfigured and re-evaluated},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {574--613},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000214},
  doi          = {10.1017/S0956796812000214},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/NaylorR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OliveiraSC12,
  author       = {Bruno C. d. S. Oliveira and
                  Tom Schrijvers and
                  William R. Cook},
  title        = {{MRI:} Modular reasoning about interference in incremental programming},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {6},
  pages        = {797--852},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000354},
  doi          = {10.1017/S0956796812000354},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/OliveiraSC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PouillardP12,
  author       = {Nicolas Pouillard and
                  Fran{\c{c}}ois Pottier},
  title        = {A unified treatment of syntax with binders},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {4-5},
  pages        = {614--704},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000251},
  doi          = {10.1017/S0956796812000251},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/PouillardP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SilesH12,
  author       = {Vincent Siles and
                  Hugo Herbelin},
  title        = {Pure Type System conversion is always typable},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {2},
  pages        = {153--180},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000044},
  doi          = {10.1017/S0956796812000044},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SilesH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Spivey12,
  author       = {J. Michael Spivey},
  title        = {When Maybe is not good enough},
  journal      = {J. Funct. Program.},
  volume       = {22},
  number       = {6},
  pages        = {747--756},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0956796812000329},
  doi          = {10.1017/S0956796812000329},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Spivey12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}