default search action
Search dblp for Publications
export results for "toc:db/journals/jfp/jfp22.bht:"
@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} }
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.