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/jfp6.bht:"
download as .bib file
@article{DBLP:journals/jfp/AppelS96,
author = {Andrew W. Appel and
Zhong Shao},
title = {Empirical and Analytic Study of Stack Versus Heap Cost for Languages
with Closures},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {47--74},
year = {1996},
url = {https://doi.org/10.1017/S095679680000157X},
doi = {10.1017/S095679680000157X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AppelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AspertiGN96,
author = {Andrea Asperti and
Cecilia Giovanetti and
Andrea Naletto},
title = {The Bologna Optimal Higher-Order Machine},
journal = {J. Funct. Program.},
volume = {6},
number = {6},
pages = {763--810},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001994},
doi = {10.1017/S0956796800001994},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AspertiGN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BarbaneraB96,
author = {Franco Barbanera and
Stefano Berardi},
title = {Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus
of Constructions},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {519--525},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001829},
doi = {10.1017/S0956796800001829},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BarbaneraB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BenaissaBLR96,
author = {Zine{-}El{-}Abidine Benaissa and
Daniel Briaud and
Pierre Lescanne and
Jocelyne Rouyer{-}Degli},
title = {lambda-nu, {A} Calculus of Explicit Substitutions which Preserves
Strong Normalisation},
journal = {J. Funct. Program.},
volume = {6},
number = {5},
pages = {699--722},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001945},
doi = {10.1017/S0956796800001945},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BenaissaBLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BezemS96,
author = {Marc Bezem and
Jan Springintveld},
title = {A Simple Proof of the Undecidability of Inhabitation in lambda\emph{P}},
journal = {J. Funct. Program.},
volume = {6},
number = {5},
pages = {757--761},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001969},
doi = {10.1017/S0956796800001969},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BezemS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BirdMH96,
author = {Richard S. Bird and
Oege de Moor and
Paul F. Hoogendijk},
title = {Generic Functional Programming with Types and Relations},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {1--28},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001556},
doi = {10.1017/S0956796800001556},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BirdMH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BondorfP96,
author = {Anders Bondorf and
Jens Palsberg},
title = {Generating Action Compilers by Partial Evaluation},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {269--298},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001684},
doi = {10.1017/S0956796800001684},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BondorfP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BrodalO96,
author = {Gerth St{\o}lting Brodal and
Chris Okasaki},
title = {Optimal Purely Functional Priority Queues},
journal = {J. Funct. Program.},
volume = {6},
number = {6},
pages = {839--857},
year = {1996},
url = {https://doi.org/10.1017/S095679680000201X},
doi = {10.1017/S095679680000201X},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BrodalO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BurnM96,
author = {Geoffrey Livingston Burn and
Daniel Le M{\'{e}}tayer},
title = {Proving the Correctness of Compiler Optimisations Based on a Global
Analysis: {A} Study of Strictness Analysis},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {75--109},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001581},
doi = {10.1017/S0956796800001581},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BurnM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CarpenterG96,
author = {D. B. Carpenter and
Hugh Glaser},
title = {Some Lattice-Based Scientific Problems, Expressed in Haskell},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {419--443},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001787},
doi = {10.1017/S0956796800001787},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/CarpenterG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ChirimarGR96,
author = {Jawahar Chirimar and
Carl A. Gunter and
Jon G. Riecke},
title = {Reference Counting as a Computational Interpretation of Linear Logic},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {195--244},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001660},
doi = {10.1017/S0956796800001660},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ChirimarGR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Clark96,
author = {Anthony N. Clark},
title = {Formal Basis for the Refinement of Rule Based Transition Systems},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {329--354},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001702},
doi = {10.1017/S0956796800001702},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Clark96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CurienC96,
author = {Pierre{-}Louis Curien and
Roberto Di Cosmo},
title = {A Confluent Reduction for the lambda-Calculus with Surjective Pairing
and Terminal Object},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {299--327},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001696},
doi = {10.1017/S0956796800001696},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/CurienC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GartnerK96,
author = {Dietmar G{\"{a}}rtner and
Werner E. Kluge},
title = {{\(\pi\)}-Red+ An Interactive Compiling Graph Reduction System for
an Applied {\(\lambda\)}-Calculus},
journal = {J. Funct. Program.},
volume = {6},
number = {5},
pages = {723--756},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001957},
doi = {10.1017/S0956796800001957},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GartnerK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons96,
author = {Jeremy Gibbons},
title = {Deriving Tidy Drawings of Trees},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {535--562},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001842},
doi = {10.1017/S0956796800001842},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Gibbons96a,
author = {Jeremy Gibbons},
title = {The Third Homomorphism Theorem},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {657--665},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001908},
doi = {10.1017/S0956796800001908},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Gibbons96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GrantSWZ96,
author = {Philip W. Grant and
John A. Sharp and
Michael F. Webster and
Xiaoming Zhang},
title = {Sparse Matrix Representations in a Functional Language},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {143--170},
year = {1996},
url = {https://doi.org/10.1017/S095679680000160X},
doi = {10.1017/S095679680000160X},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GrantSWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Greiner96,
author = {John Greiner},
title = {Weak Polymorphism can be Sound},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {111--141},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001593},
doi = {10.1017/S0956796800001593},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Greiner96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HarperL96,
author = {Robert Harper and
Mark Lillibridge},
title = {Operational Interpretations of an Extension of F\({}_{\mbox{omega}}\)
with Control Operators},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {393--417},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001775},
doi = {10.1017/S0956796800001775},
timestamp = {Tue, 24 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HarperL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96,
author = {Pieter H. Hartel and
Marc Feeley and
Martin Helmut Alt and
Lennart Augustsson and
Peter Baumann and
Marcel Beemster and
Emmanuel Chailloux and
Christine H. Flood and
Wolfgang Grieskamp and
John H. G. van Groningen and
Kevin Hammond and
Bogumil Hausman and
Melody Y. Ivory and
Richard E. Jones and
Jasper Kamperman and
Peter Lee and
Xavier Leroy and
Rafael Dueire Lins and
Sandra Loosemore and
Niklas R{\"{o}}jemo and
Manuel Serrano and
Jean{-}Pierre Talpin and
Jon Thackray and
Stephen Thomas and
Pum Walters and
Pierre Weis and
Peter Wentworth},
title = {Benchmarking Implementations of Functional Languages with 'Pseudoknot',
a Float-Intensive Benchmark},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {621--655},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001891},
doi = {10.1017/S0956796800001891},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HartelG96,
author = {Pieter H. Hartel and
Hugh Glaser},
title = {The Resource Constrained Shortest Path Problem Implemented in a Lazy
Functional Language},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {29--45},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001568},
doi = {10.1017/S0956796800001568},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HartelG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hill96,
author = {Steve Hill},
title = {Combinators for Parsing Expressions},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {445--463},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001799},
doi = {10.1017/S0956796800001799},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hill96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HudakMGW96,
author = {Paul Hudak and
Tom Makucevich and
Syam Gadde and
Bo Whong},
title = {Haskore Music Notation - An Algebra of Music},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {465--483},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001805},
doi = {10.1017/S0956796800001805},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HudakMGW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HuttonM96,
author = {Graham Hutton and
Erik Meijer},
title = {Back to Basics: Deriving Representation Changers Functionally},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {181--188},
year = {1996},
timestamp = {Wed, 14 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HuttonM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Jacobs96,
author = {Bart Jacobs},
title = {On Cubism},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {379--391},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001763},
doi = {10.1017/S0956796800001763},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Jacobs96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KamareddineN96,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {Canonical Typing and Pi-Conversion in the Barendregt Cube},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {245--267},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001672},
doi = {10.1017/S0956796800001672},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KamareddineN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kennedy96,
author = {Andrew Kennedy},
title = {Drawing Trees},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {527--534},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001830},
doi = {10.1017/S0956796800001830},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kennedy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Laufer96,
author = {Konstantin L{\"{a}}ufer},
title = {Type Classes with Existential Types},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {485--517},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001817},
doi = {10.1017/S0956796800001817},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Laufer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LaunchburyB96,
author = {John Launchbury and
Gebreselassie Baraki},
title = {Representing Demand by Partial Projections},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {563--585},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001878},
doi = {10.1017/S0956796800001878},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LaunchburyB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LeiferS96,
author = {James J. Leifer and
Bernard Sufrin},
title = {Deduction for Functional Programmers},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {365--373},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001726},
doi = {10.1017/S0956796800001726},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LeiferS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Leroy96,
author = {Xavier Leroy},
title = {A Syntactic Theory of Type Generativity and Sharing},
journal = {J. Funct. Program.},
volume = {6},
number = {5},
pages = {667--698},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001933},
doi = {10.1017/S0956796800001933},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Leroy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OHearn96,
author = {Peter W. O'Hearn},
title = {Note on Algol and Conservatively Extending Functional Programming},
journal = {J. Funct. Program.},
volume = {6},
number = {1},
pages = {171--180},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001611},
doi = {10.1017/S0956796800001611},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/OHearn96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PartridgeW96,
author = {Andrew S. Partridge and
David Wright},
title = {Predictive Parser Combinators Need four Values to Report Errors},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {355--364},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001714},
doi = {10.1017/S0956796800001714},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PartridgeW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/RuncimanR96,
author = {Colin Runciman and
Niklas R{\"{o}}jemo},
title = {New Dimensions in Heap Profiling},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {587--620},
year = {1996},
url = {https://doi.org/10.1017/S095679680000188X},
doi = {10.1017/S095679680000188X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/RuncimanR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SorensenGJ96,
author = {Morten Heine S{\o}rensen and
Robert Gl{\"{u}}ck and
Neil D. Jones},
title = {A Positive Supercompiler},
journal = {J. Funct. Program.},
volume = {6},
number = {6},
pages = {811--838},
year = {1996},
url = {https://doi.org/10.1017/S0956796800002008},
doi = {10.1017/S0956796800002008},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SorensenGJ96.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-05-27 06:49 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:
