Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jfp/jfp23.bht:"
download as .bib file
@article{DBLP:journals/jfp/AcarBD13,
author = {Umut A. Acar and
Matthias Blume and
Jacob Donham},
title = {A consistent semantics of self-adjusting computation},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {249--292},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000099},
doi = {10.1017/S0956796813000099},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AcarBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AchtenEMP13,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Maarten de Mol and
Rinus Plasmeijer},
title = {EditorArrow: An arrow-based model for editor-based programming},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {185--224},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000421},
doi = {10.1017/S0956796812000421},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AchtenEMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AsaiP13,
author = {Kenichi Asai and
Benjamin C. Pierce},
title = {Special Issue Dedicated to {ICFP} 2011 Editorial},
journal = {J. Funct. Program.},
volume = {23},
number = {4},
pages = {355--356},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000129},
doi = {10.1017/S0956796813000129},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AsaiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird13,
author = {Richard S. Bird},
title = {An in-situ algorithm for expanding a graph},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {174--184},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000457},
doi = {10.1017/S0956796812000457},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Brady13,
author = {Edwin C. Brady},
title = {Idris, a general-purpose dependently typed programming language: Design
and implementation},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {552--593},
year = {2013},
url = {https://doi.org/10.1017/S095679681300018X},
doi = {10.1017/S095679681300018X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Brady13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Castro13,
author = {Laura M. Castro},
title = {\emph{Building Web Applications with Erlang}, by Zachary Kessin, O'Reilly
Media, Inc., 2012, {ISBN} 97-81-4493-20652},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {225--226},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000342},
doi = {10.1017/S0956796812000342},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Castro13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GonthierZND13,
author = {Georges Gonthier and
Beta Ziliani and
Aleksandar Nanevski and
Derek Dreyer},
title = {How to make ad hoc proof automation less ad hoc},
journal = {J. Funct. Program.},
volume = {23},
number = {4},
pages = {357--401},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000051},
doi = {10.1017/S0956796813000051},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GonthierZND13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GotsmanY13,
author = {Alexey Gotsman and
Hongseok Yang},
title = {Modular verification of preemptive {OS} kernels},
journal = {J. Funct. Program.},
volume = {23},
number = {4},
pages = {452--514},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000075},
doi = {10.1017/S0956796813000075},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GotsmanY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GrygielL13,
author = {Katarzyna Grygiel and
Pierre Lescanne},
title = {Counting and generating lambda terms},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {594--628},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000178},
doi = {10.1017/S0956796813000178},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GrygielL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Jones13,
author = {Mark P. Jones},
title = {Solving the snake cube puzzle in Haskell},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {145--160},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000014},
doi = {10.1017/S0956796813000014},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Jones13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LakinP13,
author = {Matthew R. Lakin and
Andrew M. Pitts},
title = {Contextual equivalence for inductive definitions with binders in higher
order typed functional programming},
journal = {J. Funct. Program.},
volume = {23},
number = {6},
pages = {658--700},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000245},
doi = {10.1017/S0956796813000245},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LakinP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MartinC13,
author = {C. E. Martin and
S. A. Curtis},
title = {Fractal image compression},
journal = {J. Funct. Program.},
volume = {23},
number = {6},
pages = {629--657},
year = {2013},
url = {https://doi.org/10.1017/S095679681300021X},
doi = {10.1017/S095679681300021X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MartinC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Michaelson13,
author = {Greg Michaelson},
title = {\emph{Learn You a Haskell for Great Good! {A} Beginner's Guide}, by
Miran Lipovaca, No Starch Press, April 2011, {ISBN-10:} 1593272839;
{ISBN-13:} 978-1593272838, 376 pp},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {351--352},
year = {2013},
url = {https://doi.org/10.1017/S095679681300004X},
doi = {10.1017/S095679681300004X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Michaelson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Miljenovic13,
author = {Ivan Lazar Miljenovic},
title = {\emph{Pearls of Functional Algorithm Design}, by Richard Bird, Cambridge
University Press, September 2010, {\textsterling}35.00, {US} {\textdollar}
60.00. {ISBN:} 978052151338 (hardback), 286pp},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {226--227},
year = {2013},
url = {https://doi.org/10.1017/S095679681200041X},
doi = {10.1017/S095679681200041X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Miljenovic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Nakano13,
author = {Keisuke Nakano},
title = {Metamorphism in jigsaw},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {161--173},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000391},
doi = {10.1017/S0956796812000391},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Nakano13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Pientka13,
author = {Brigitte Pientka},
title = {An insider's look at {LF} type reconstruction: everything you (n)ever
wanted to know},
journal = {J. Funct. Program.},
volume = {23},
number = {1},
pages = {1--37},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000408},
doi = {10.1017/S0956796812000408},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Pientka13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Pottier13,
author = {Fran{\c{c}}ois Pottier},
title = {Syntactic soundness proof of a type-and-capability system with hidden
state},
journal = {J. Funct. Program.},
volume = {23},
number = {1},
pages = {38--144},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000366},
doi = {10.1017/S0956796812000366},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Pottier13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Ragde13,
author = {Prabhakar Ragde},
title = {\emph{OCaml from the Very Beginning}, by John Whitington, Coherent
Press, 2013, {\textsterling} 25.99, {US} {\textdollar}37.99. {ISBN-10:}
0957671105 (paperback), 204 pp},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {352--354},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000087},
doi = {10.1017/S0956796813000087},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Ragde13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SperberM13,
author = {Michael Sperber and
Anil Madhavapeddy},
title = {Commercial users of functional programming workshop report},
journal = {J. Funct. Program.},
volume = {23},
number = {6},
pages = {701--712},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000257},
doi = {10.1017/S0956796813000257},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SperberM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwamyCFSBY13,
author = {Nikhil Swamy and
Juan Chen and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Karthikeyan Bhargavan and
Jean Yang},
title = {Secure distributed programming with value-dependent types},
journal = {J. Funct. Program.},
volume = {23},
number = {4},
pages = {402--451},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000142},
doi = {10.1017/S0956796813000142},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwamyCFSBY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwierstraN13,
author = {Wouter Swierstra and
Thomas van Noort},
title = {A library for polymorphic dynamic typing},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {229--248},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000063},
doi = {10.1017/S0956796813000063},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwierstraN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ThompsonL13,
author = {Simon J. Thompson and
Huiqing Li},
title = {Refactoring tools for functional languages},
journal = {J. Funct. Program.},
volume = {23},
number = {3},
pages = {293--350},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000117},
doi = {10.1017/S0956796813000117},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ThompsonL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VoigtlanderHMW13,
author = {Janis Voigtl{\"{a}}nder and
Zhenjiang Hu and
Kazutaka Matsuda and
Meng Wang},
title = {Enhancing semantic bidirectionalization via shape bidirectionalizer
plug-ins},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {515--551},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000130},
doi = {10.1017/S0956796813000130},
timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/VoigtlanderHMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 12:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
