default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jfp/jfp10.bht:"
download as .bib file
@article{DBLP:journals/jfp/BarendregtG00,
author = {Henk Barendregt and
Silvia Ghilezan},
title = {Lambda terms for natural deduction, sequent calculus and cut elimination},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {121--134},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003524},
doi = {10.1017/S0956796899003524},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BarendregtG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BartheS00,
author = {Gilles Barthe and
Morten Heine S{\o}rensen},
title = {Domain-free pure type systems},
journal = {J. Funct. Program.},
volume = {10},
number = {5},
pages = {417--452},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003750},
doi = {10.1017/S0956796800003750},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BartheS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Betarte00,
author = {Gustavo Betarte},
title = {Type checking dependent (record) types and subtyping},
journal = {J. Funct. Program.},
volume = {10},
number = {2},
pages = {137--166},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003627},
doi = {10.1017/S0956796899003627},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Betarte00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Bierman00,
author = {Gavin M. Bierman},
title = {Program equivalence in a linear functional language},
journal = {J. Funct. Program.},
volume = {10},
number = {2},
pages = {167--190},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003639},
doi = {10.1017/S0956796899003639},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Bierman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/DamianiG00,
author = {Ferruccio Damiani and
Paola Giannini},
title = {Automatic useless-code elimination for {HOT} functional programs},
journal = {J. Funct. Program.},
volume = {10},
number = {6},
pages = {509--559},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003786},
doi = {10.1017/S0956796800003786},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/DamianiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FradetM00,
author = {Pascal Fradet and
Julien Mallet},
title = {Compilation of a specialized functional language for massively parallel
computers},
journal = {J. Funct. Program.},
volume = {10},
number = {6},
pages = {561--605},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003816},
doi = {10.1017/S0956796800003816},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FradetM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FridlenderI00,
author = {Daniel Fridlender and
Mia Indrika},
title = {Do we need dependent types?},
journal = {J. Funct. Program.},
volume = {10},
number = {4},
pages = {409--415},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003658},
doi = {10.1017/S0956796800003658},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FridlenderI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Goldberg00,
author = {Mayer Goldberg},
title = {Theoretical Pearl: An adequate and efficient left-associated binary
numeral system in the Lambda-calculus},
journal = {J. Funct. Program.},
volume = {10},
number = {6},
pages = {607--623},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003804},
doi = {10.1017/S0956796800003804},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Goldberg00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Guillaume00,
author = {Bruno Guillaume},
title = {The lambda-se-calculus does not preserve strong normalisation},
journal = {J. Funct. Program.},
volume = {10},
number = {4},
pages = {321--325},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003695},
doi = {10.1017/S0956796800003695},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Guillaume00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hasegawa00,
author = {Masahito Hasegawa},
title = {Girard translation and logical predicates},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {77--89},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003615},
doi = {10.1017/S0956796899003615},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hasegawa00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hayden00,
author = {Mark Hayden},
title = {Distributed communication in {ML}},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {91--120},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003275},
doi = {10.1017/S0956796899003275},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hayden00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze00,
author = {Ralf Hinze},
title = {Perfect trees and bit-reversal permutations},
journal = {J. Funct. Program.},
volume = {10},
number = {3},
pages = {305--317},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003701},
doi = {10.1017/S0956796800003701},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hinze00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Hinze00a,
author = {Ralf Hinze},
title = {Generalizing generalized tries},
journal = {J. Funct. Program.},
volume = {10},
number = {4},
pages = {327--351},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003713},
doi = {10.1017/S0956796800003713},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Hinze00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HoogendijkM00,
author = {Paul F. Hoogendijk and
Oege de Moor},
title = {Container types categorically},
journal = {J. Funct. Program.},
volume = {10},
number = {2},
pages = {191--225},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003640},
doi = {10.1017/S0956796899003640},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HoogendijkM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JungM00,
author = {Yang Jung and
Greg Michaelson},
title = {A visualisation of polymorphic type checking},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {57--75},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003597},
doi = {10.1017/S0956796899003597},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JungM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Leroy00,
author = {Xavier Leroy},
title = {A modular module system},
journal = {J. Funct. Program.},
volume = {10},
number = {3},
pages = {269--303},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003683},
doi = {10.1017/S0956796800003683},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Leroy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Meijer00,
author = {Erik Meijer},
title = {Server side web scripting in Haskell},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {1--18},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003561},
doi = {10.1017/S0956796899003561},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Meijer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Niehren00,
author = {Joachim Niehren},
title = {Uniform confluence in concurrent computation},
journal = {J. Funct. Program.},
volume = {10},
number = {5},
pages = {453--499},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003762},
doi = {10.1017/S0956796800003762},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Niehren00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PapaspyrouM00,
author = {Nikolaos Papaspyrou and
Dragan Macos},
title = {A study of evaluation order semantics in expressions with side effects},
journal = {J. Funct. Program.},
volume = {10},
number = {3},
pages = {227--244},
year = {2000},
url = {https://doi.org/10.1017/s095679680000366x},
doi = {10.1017/S095679680000366X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PapaspyrouM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Serrano00,
author = {Manuel Serrano},
title = {Bee: an integrated development environment for the Scheme programming
language},
journal = {J. Funct. Program.},
volume = {10},
number = {4},
pages = {353--395},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003725},
doi = {10.1017/S0956796800003725},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Serrano00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Spivey00,
author = {J. Michael Spivey},
title = {Combinators for breadth-first search},
journal = {J. Funct. Program.},
volume = {10},
number = {4},
pages = {397--408},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003749},
doi = {10.1017/S0956796800003749},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Spivey00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Thompson00,
author = {Simon J. Thompson},
title = {A functional reactive animation of a lift using Fran},
journal = {J. Funct. Program.},
volume = {10},
number = {3},
pages = {245--268},
year = {2000},
url = {https://doi.org/10.1017/s0956796800003671},
doi = {10.1017/S0956796800003671},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Thompson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Wong00,
author = {Limsoon Wong},
title = {Kleisli, a functional query system},
journal = {J. Funct. Program.},
volume = {10},
number = {1},
pages = {19--56},
year = {2000},
url = {https://doi.org/10.1017/s0956796899003585},
doi = {10.1017/S0956796899003585},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Wong00.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.
retrieved on 2025-01-05 03:14 CET 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:
