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/jfp21.bht:"
download as .bib file
@article{DBLP:journals/jfp/Achten11,
author = {Peter Achten},
title = {The Soccer-Fun project},
journal = {J. Funct. Program.},
volume = {21},
number = {1},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000055},
doi = {10.1017/S0956796810000055},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Achten11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bird11,
author = {Richard S. Bird},
title = {Building a consensus: {A} rectangle covering problem},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {119--128},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000316},
doi = {10.1017/S0956796810000316},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bird11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BorgstromGP11,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Riccardo Pucella},
title = {Roles, stacks, histories: {A} triple for Hoare},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {159--207},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000134},
doi = {10.1017/S0956796810000134},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BorgstromGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Carette11,
author = {Jacques Carette},
title = {\emph{Handbook of Practical Logic and Automated Reasoning}, by John
Harrison, Cambridge University Press, 2009 {ISBN} 9780521899574},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {663--664},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000220},
doi = {10.1017/S0956796811000220},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Carette11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Cebrian11,
author = {Toni Cebri{\'{a}}n},
title = {\emph{How to think about algorithms}, by Jeff Edmonds, Cambridge University
Press, {ISBN} 0521614104},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {664--666},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000177},
doi = {10.1017/S0956796811000177},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Cebrian11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FischerKS11,
author = {Sebastian Fischer and
Oleg Kiselyov and
Chung{-}chieh Shan},
title = {Purely functional lazy nondeterministic programming},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {413--465},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000189},
doi = {10.1017/S0956796811000189},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FischerKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Fokkinga11,
author = {Maarten M. Fokkinga},
title = {The Hough transform},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {129--133},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000341},
doi = {10.1017/S0956796810000341},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Fokkinga11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FriedmannL11,
author = {Oliver Friedmann and
Martin Lange},
title = {More on balanced diets},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {135--157},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000328},
doi = {10.1017/S0956796810000328},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FriedmannL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gammie11,
author = {Peter Gammie},
title = {\emph{Review: Lambda-Calculus and Combinators: An Introduction}, Second
Edition by J. R. Hindley and J. P. Seldin},
journal = {J. Funct. Program.},
volume = {21},
number = {1},
pages = {115--117},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000237},
doi = {10.1017/S0956796810000237},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gammie11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gammie11a,
author = {Peter Gammie},
title = {Short note: Strict unwraps make worker/wrapper fusion totally correct},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {209--213},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000080},
doi = {10.1017/S0956796810000080},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gammie11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hage11,
author = {Jurriaan Hage},
title = {\emph{Language Implementation Patterns: Create your own Domain-Specific
and General Programming Languages}, by Terence Parr, Pragmatic Bookshelf,
http://www.pragprog.com, {ISBN} 9781934356456},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {215--217},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000298},
doi = {10.1017/S0956796810000298},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hage11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze11,
author = {Ralf Hinze},
title = {Typed quote/antiquote or: Compile-time parsing},
journal = {J. Funct. Program.},
volume = {21},
number = {3},
pages = {219--234},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000050},
doi = {10.1017/S0956796811000050},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hinze11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HiraiY11,
author = {Yoichi Hirai and
Kazuhiko Yamamoto},
title = {Balancing weight-balanced trees},
journal = {J. Funct. Program.},
volume = {21},
number = {3},
pages = {287--307},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000104},
doi = {10.1017/S0956796811000104},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HiraiY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Jong11,
author = {Willem de Jong},
title = {\emph{Foundations of F{\#}} Robert Pickering, Apress, 2007 {ISBN}
10: 1-59059-757-5},
journal = {J. Funct. Program.},
volume = {21},
number = {2},
pages = {217--218},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000110},
doi = {10.1017/S0956796810000110},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Jong11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KameyamaKS11,
author = {Yukiyoshi Kameyama and
Oleg Kiselyov and
Chung{-}chieh Shan},
title = {Shifting the stage - Staging with delimited control},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {617--662},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000256},
doi = {10.1017/S0956796811000256},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KameyamaKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LiuCH11,
author = {Hai Liu and
Eric Cheng and
Paul Hudak},
title = {Causal commutative arrows},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {467--496},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000153},
doi = {10.1017/S0956796811000153},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LiuCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NeisDR11,
author = {Georg Neis and
Derek Dreyer and
Andreas Rossberg},
title = {Non-parametric parametricity},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {497--562},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000165},
doi = {10.1017/S0956796811000165},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NeisDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Nykanen11,
author = {Matti Nyk{\"{a}}nen},
title = {A note on the genuine Sieve of Eratosthenes},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {563--572},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000128},
doi = {10.1017/S0956796811000128},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Nykanen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ParkI11,
author = {Sungwoo Park and
Hyeonseung Im},
title = {A calculus for hardware description},
journal = {J. Funct. Program.},
volume = {21},
number = {1},
pages = {21--58},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000249},
doi = {10.1017/S0956796810000249},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ParkI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Pitts11,
author = {Andrew M. Pitts},
title = {Structural recursion with locally scoped names},
journal = {J. Funct. Program.},
volume = {21},
number = {3},
pages = {235--286},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000116},
doi = {10.1017/S0956796811000116},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Pitts11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Ramsey11,
author = {Norman Ramsey},
title = {Embedding an interpreted language using higher-order functions and
types},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {585--615},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000219},
doi = {10.1017/S0956796811000219},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Ramsey11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Sheeran11,
author = {Mary Sheeran},
title = {Functional and dynamic programming in the design of parallel prefix
networks},
journal = {J. Funct. Program.},
volume = {21},
number = {1},
pages = {59--114},
year = {2011},
url = {https://doi.org/10.1017/S0956796810000304},
doi = {10.1017/S0956796810000304},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Sheeran11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Stratford11,
author = {Barney Stratford},
title = {A combinator library for the design of railway track layouts},
journal = {J. Funct. Program.},
volume = {21},
number = {3},
pages = {309--329},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000086},
doi = {10.1017/S0956796811000086},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Stratford11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Swierstra11,
author = {Wouter Swierstra},
title = {Sorted - Verifying the Problem of the Dutch National Flag in Agda},
journal = {J. Funct. Program.},
volume = {21},
number = {6},
pages = {573--583},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000207},
doi = {10.1017/S0956796811000207},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Swierstra11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TolmachL11,
author = {Andrew P. Tolmach and
Xavier Leroy},
title = {Special Issue Dedicated to {ICFP} 2009 Editorial},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {331--332},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000190},
doi = {10.1017/S0956796811000190},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/TolmachL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VytiniotisJSS11,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Tom Schrijvers and
Martin Sulzmann},
title = {OutsideIn(X) Modular type inference with local assumptions},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {333--412},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000098},
doi = {10.1017/S0956796811000098},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/VytiniotisJSS11.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 22:32 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:
