Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/fpca:"
download as .bib file
@inproceedings{DBLP:conf/fpca/AdityaAS95,
author = {Shail Aditya and
Arvind and
Joseph E. Stoy},
editor = {John Williams},
title = {Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {204--215},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224206},
doi = {10.1145/224164.224206},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AdityaAS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenF95,
author = {Alexander Aiken and
Manuel F{\"{a}}hndrich},
editor = {John Williams},
title = {Dynamic Typing and Subtype Inference},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {182--191},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224201},
doi = {10.1145/224164.224201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BlellochG95,
author = {Guy E. Blelloch and
John Greiner},
editor = {John Williams},
title = {Parallelism in Sequential Functional Languages},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {226--237},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224210},
doi = {10.1145/224164.224210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/BlellochG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Boquist95,
author = {Urban Boquist},
editor = {John Williams},
title = {Interprocedural Register Allocation for Lazy Functional Languages},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {270--281},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224215},
doi = {10.1145/224164.224215},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Boquist95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CousotC95,
author = {Patrick Cousot and
Radhia Cousot},
editor = {John Williams},
title = {Formal Language, Grammar and Set-Constraint-Based Program Analysis
by Abstract Interpretation},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {170--181},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224199},
doi = {10.1145/224164.224199},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CousotC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GoncalvesA95,
author = {Marcelo J. R. Gon{\c{c}}alves and
Andrew W. Appel},
editor = {John Williams},
title = {Cache Performance of Fast-Allocating Programs},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {293--305},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224219},
doi = {10.1145/224164.224219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/GoncalvesA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GunterRR95,
author = {Carl A. Gunter and
Didier R{\'{e}}my and
Jon G. Riecke},
editor = {John Williams},
title = {A Generalization of Exceptions and Control in ML-like Languages},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {12--23},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224173},
doi = {10.1145/224164.224173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/GunterRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HengleinR95,
author = {Fritz Henglein and
Jakob Rehof},
editor = {John Williams},
title = {Safe Polymorphic Type Inference for Scheme: Translating Scheme to
{ML}},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {192--203},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224203},
doi = {10.1145/224164.224203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/HengleinR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HughesM95,
author = {John Hughes and
Andrew Moran},
editor = {John Williams},
title = {Making Choices Lazily},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {108--119},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224191},
doi = {10.1145/224164.224191},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/HughesM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HylandO95,
author = {J. M. E. Hyland and
C.{-}H. Luke Ong},
editor = {John Williams},
title = {Pi-Calculus, Dialogue Games and {PCF}},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {96--107},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224189},
doi = {10.1145/224164.224189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/HylandO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jeuring95,
author = {Johan Jeuring},
editor = {John Williams},
title = {Polytypic Pattern Matching},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {238--248},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224212},
doi = {10.1145/224164.224212},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Jeuring95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JeuringS95,
author = {Johan Jeuring and
S. Doaitse Swierstra},
editor = {John Williams},
title = {Constructing Functional Programs for Grammar Analysis Problems},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {259--269},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224214},
doi = {10.1145/224164.224214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/JeuringS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jones95,
author = {Mark P. Jones},
editor = {John Williams},
title = {Simplifying and Improving Qualified Types},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {160--169},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224198},
doi = {10.1145/224164.224198},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Jones95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/LaunchburyS95,
author = {John Launchbury and
Tim Sheard},
editor = {John Williams},
title = {Warm Fusion: Deriving Build-Cata's from Recursive Definitions},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {314--323},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224223},
doi = {10.1145/224164.224223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/LaunchburyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Marchiori95,
author = {Massimo Marchiori},
editor = {John Williams},
title = {The Functional Side of Logic Programming},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {55--65},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224181},
doi = {10.1145/224164.224181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Marchiori95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MeijerH95,
author = {Erik Meijer and
Graham Hutton},
editor = {John Williams},
title = {Bananas in Space: Extending Fold and Unfold to Exponential Types},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {324--333},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224225},
doi = {10.1145/224164.224225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MeijerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MiraniH95,
author = {Rajiv Mirani and
Paul Hudak},
editor = {John Williams},
title = {First-Class Schedules and Virtual Maps},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {78--85},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224185},
doi = {10.1145/224164.224185},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MiraniH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MorrisettFH95,
author = {J. Gregory Morrisett and
Matthias Felleisen and
Robert Harper},
editor = {John Williams},
title = {Abstract Models of Memory Management},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {66--77},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224182},
doi = {10.1145/224164.224182},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MorrisettFH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/OderskyWW95,
author = {Martin Odersky and
Philip Wadler and
Martin Wehr},
editor = {John Williams},
title = {A Second Look at Overloading},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {135--146},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224195},
doi = {10.1145/224164.224195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/OderskyWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Okasaki95,
author = {Chris Okasaki},
editor = {John Williams},
title = {Purely Functional Random-Access Lists},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {86--95},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224187},
doi = {10.1145/224164.224187},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Okasaki95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/QuintonRW95,
author = {Patrice Quinton and
Sanjay V. Rajopadhye and
Doran Wilde},
editor = {John Williams},
title = {Deriving Imperative Code from Functional Programs},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {36--44},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224177},
doi = {10.1145/224164.224177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/QuintonRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Rittri95,
author = {Mikael Rittri},
editor = {John Williams},
title = {Dimension Inference Under Polymorphic Recursion},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {147--159},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224197},
doi = {10.1145/224164.224197},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Rittri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Rojemo95,
author = {Niklas R{\"{o}}jemo},
editor = {John Williams},
title = {Highlights from nhc - a Space-efficient Haskell Compiler},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {282--292},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224217},
doi = {10.1145/224164.224217},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Rojemo95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SchauserG95,
author = {Klaus E. Schauser and
Seth Copen Goldstein},
editor = {John Williams},
title = {How Much Non-Strictness do Lenient Programs Require?},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {216--225},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224208},
doi = {10.1145/224164.224208},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SchauserG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SharpR95,
author = {Robin Sharp and
Ole Rasmussen},
editor = {John Williams},
title = {Using a Language of Functions and Relations for {VLSI} Specification},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {45--54},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224180},
doi = {10.1145/224164.224180},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SharpR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/TakanoM95,
author = {Akihiko Takano and
Erik Meijer},
editor = {John Williams},
title = {Shortcut Deforestation in Calculational Form},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {306--313},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224221},
doi = {10.1145/224164.224221},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/TakanoM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Thiemann95,
author = {Peter Thiemann},
editor = {John Williams},
title = {Unboxed Values and Polymorphic Typing Revisited},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {24--35},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224175},
doi = {10.1145/224164.224175},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Thiemann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/TurnerWM95,
author = {David N. Turner and
Philip Wadler and
Christian Mossin},
editor = {John Williams},
title = {Once Upon a Type},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {1--11},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224168},
doi = {10.1145/224164.224168},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/TurnerWM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WallaceR95,
author = {Malcolm Wallace and
Colin Runciman},
editor = {John Williams},
title = {Lambdas in the Liftshaft - Functional Programming and an Embedded
Architecture},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {249--258},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224213},
doi = {10.1145/224164.224213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/WallaceR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wand95,
author = {Mitchell Wand},
editor = {John Williams},
title = {Compiler Correctness for Parallel Languages},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {120--134},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224193},
doi = {10.1145/224164.224193},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wand95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1995,
editor = {John Williams},
title = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164},
doi = {10.1145/224164},
isbn = {0-89791-719-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Aasa93,
author = {Annika Aasa},
editor = {John Williams},
title = {Precedences for Conctypes},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {83--94},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165193},
doi = {10.1145/165180.165193},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Aasa93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AdityaC93,
author = {Shail Aditya and
Alejandro Caro},
editor = {John Williams},
title = {Compiler-directed Type Reconstruction for Polymorphic Languages},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {74--82},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165192},
doi = {10.1145/165180.165192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AdityaC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenW93,
author = {Alexander Aiken and
Edward L. Wimmers},
editor = {John Williams},
title = {Type Inclusion Constraints and Type Inference},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {31--41},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165188},
doi = {10.1145/165180.165188},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AikenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Ang93,
author = {Boon Seong Ang},
editor = {John Williams},
title = {Efficient Implementation of Sequential Loops in Dataflow Computation},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {169--178},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165203},
doi = {10.1145/165180.165203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Ang93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Augustsson93,
author = {Lennart Augustsson},
editor = {John Williams},
title = {Implementing Haskell Overloading},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {65--73},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165191},
doi = {10.1145/165180.165191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Augustsson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BondorfP93,
author = {Anders Bondorf and
Jens Palsberg},
editor = {John Williams},
title = {Compiling Actions by Partial Evaluation},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {308--320},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165227},
doi = {10.1145/165180.165227},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/BondorfP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CarlssonH93,
author = {Mats Carlsson and
Thomas Hallgren},
editor = {John Williams},
title = {{FUDGETS:} {A} Graphical User Interface in a Lazy Functional Language},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {321--330},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165228},
doi = {10.1145/165180.165228},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CarlssonH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CattrallR93,
author = {Dave Cattrall and
Colin Runciman},
editor = {John Williams},
title = {Widening the Representation Bottleneck: {A} Functional Implementation
of Relational Programming},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {191--200},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165206},
doi = {10.1145/165180.165206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CattrallR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ChuangG93,
author = {Tyng{-}Ruey Chuang and
Benjamin Goldberg},
editor = {John Williams},
title = {Real-Time Deques, Multihead Thring Machines, and Purely Functional
Programming},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {289--298},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165225},
doi = {10.1145/165180.165225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/ChuangG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Feeley93,
author = {Marc Feeley},
editor = {John Williams},
title = {Polling Efficiently on Stock Hardware},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {179--190},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165205},
doi = {10.1145/165180.165205},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Feeley93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/FinneB93,
author = {Sigbj{\o}rn Finne and
Geoffrey Livingston Burn},
editor = {John Williams},
title = {Assessing the Evaluation Transformer Model of Reduction on the Spineless
G-machine},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {331--340},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165229},
doi = {10.1145/165180.165229},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/FinneB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GillLJ93,
author = {Andrew John Gill and
John Launchbury and
Simon L. Peyton Jones},
editor = {John Williams},
title = {A Short Cut to Deforestation},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {223--232},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165214},
doi = {10.1145/165180.165214},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/GillLJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Gordon93,
author = {Andrew D. Gordon},
editor = {John Williams},
title = {An Operational Semantics for {I/O} in a Lazy Functional Language},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {136--145},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165199},
doi = {10.1145/165180.165199},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Gordon93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GrantSWZ93,
author = {Philip W. Grant and
John A. Sharp and
Michael F. Webster and
Xiaoming Zhang},
editor = {John Williams},
title = {Some Issues in a Functional Implementation of a Finite Element Algorithm},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {12--17},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165186},
doi = {10.1145/165180.165186},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/GrantSWZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HammarlundL93,
author = {Per Hammarlund and
Bj{\"{o}}rn Lisper},
editor = {John Williams},
title = {On the Relation between Functional and Data Parallel Programming Languages},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {210--222},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165211},
doi = {10.1145/165180.165211},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/HammarlundL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HartelL93,
author = {Pieter H. Hartel and
Koen Langendoen},
editor = {John Williams},
title = {Benchmarking Implementations of Lazy Functional Languages},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {341--349},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165230},
doi = {10.1145/165180.165230},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/HartelL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Hicks93,
author = {James Hicks},
editor = {John Williams},
title = {Experiences with Compiler-Directed Storage Reclamation},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {95--105},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165194},
doi = {10.1145/165180.165194},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Hicks93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jones93,
author = {Mark P. Jones},
editor = {John Williams},
title = {A System of Constructor Classes: Overloading and Implicit Higher-Order
Polymorphism},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {52--64},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165190},
doi = {10.1145/165180.165190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Jones93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KozatoO93,
author = {Yasuo Kozato and
G. Paul Otto},
editor = {John Williams},
title = {Benchmarking Real-Life Image Processing Programs in Lazy Functional
Languages},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {18--30},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165187},
doi = {10.1145/165180.165187},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KozatoO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KuchenG93,
author = {Herbert Kuchen and
Katia Gladitz},
editor = {John Williams},
title = {Parallel Implementation of Bags},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {299--307},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165226},
doi = {10.1145/165180.165226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KuchenG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Lillie93,
author = {David J. Lillie},
editor = {John Williams},
title = {Conjunctive Subtyping},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {42--51},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165189},
doi = {10.1145/165180.165189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Lillie93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Liu93,
author = {Feixiong Liu},
editor = {John Williams},
title = {Towards Lazy Evaluation, Sharing and Non-determinism in Resolution
Based Functional Logic Languages},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {201--209},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165209},
doi = {10.1145/165180.165209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Liu93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MoreauR93,
author = {Luc Moreau and
Daniel Ribbens},
editor = {John Williams},
title = {Sound Rules for Parallel Evaluation of a Functional Language with
callcc},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {125--135},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165197},
doi = {10.1145/165180.165197},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MoreauR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Nocker93,
author = {Eric N{\"{o}}cker},
editor = {John Williams},
title = {Strictness Analysis using Abstract Reduction},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {255--265},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165219},
doi = {10.1145/165180.165219},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Nocker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PageM93,
author = {Rex L. Page and
Brian D. Moe},
editor = {John Williams},
title = {Experience with a Large Scientific Application in a Functional Language},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {3--11},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165183},
doi = {10.1145/165180.165183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PageM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PurushothamanS93,
author = {S. Purushothaman and
Jill Seaman},
editor = {John Williams},
title = {From Operational Definitions to Abstract Semantics},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {276--288},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165224},
doi = {10.1145/165180.165224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PurushothamanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Riecke93,
author = {Jon G. Riecke},
editor = {John Williams},
title = {Delimiting the Scope of Effects},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {146--158},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165200},
doi = {10.1145/165180.165200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Riecke93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/RohNB93,
author = {Lucas Roh and
Walid A. Najjar and
A. P. Wim B{\"{o}}hm},
editor = {John Williams},
title = {Generation and Quantitative Evaluation of Dataflow Clusters},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {159--168},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165201},
doi = {10.1145/165180.165201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/RohNB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SansomJ93,
author = {Patrick M. Sansom and
Simon L. Peyton Jones},
editor = {John Williams},
title = {Generational Garbage Collection for Haskell},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {106--116},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165195},
doi = {10.1145/165180.165195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SansomJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SastryCA93,
author = {A. V. S. Sastry and
William D. Clinger and
Zena M. Ariola},
editor = {John Williams},
title = {Order-of-evaluation Analysis for Destructive Updates in Strict Functional
Languages with Flat Aggregates},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {266--275},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165222},
doi = {10.1145/165180.165222},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SastryCA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SheardF93,
author = {Tim Sheard and
Leonidas Fegaras},
editor = {John Williams},
title = {A Fold for All Seasons},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {233--242},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165216},
doi = {10.1145/165180.165216},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SheardF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sparud93,
author = {Jan Sparud},
editor = {John Williams},
title = {Fixing Some Space Leaks without a Garbage Collector},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {117--124},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165196},
doi = {10.1145/165180.165196},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Sparud93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Yoshida93,
author = {Nobuko Yoshida},
editor = {John Williams},
title = {Optimal Reduction in Weak-{\(\lambda\)}-calculus with Shared Environments},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {243--254},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165217},
doi = {10.1145/165180.165217},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Yoshida93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1993,
editor = {John Williams},
title = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180},
doi = {10.1145/165180},
isbn = {0-89791-595-X},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AdityaN91,
author = {Shail Aditya and
Rishiyur S. Nikhil},
editor = {John Hughes},
title = {Incremental Polymorphism},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {379--405},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_19},
doi = {10.1007/3540543961\_19},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AdityaN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AikenM91,
author = {Alexander Aiken and
Brian R. Murphy},
editor = {John Hughes},
title = {Implementing Regular Tree Expressions},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {427--447},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_21},
doi = {10.1007/3540543961\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/AikenM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Baraki91,
author = {Gebreselassie Baraki},
editor = {John Hughes},
title = {A Note on Abstract Interpretation of Polymorphic Functions},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {367--378},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_18},
doi = {10.1007/3540543961\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Baraki91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BarthNA91,
author = {Paul S. Barth and
Rishiyur S. Nikhil and
Arvind},
editor = {John Hughes},
title = {M-Structures: Extending a Parallel, Non-strict, Functional Language
with State},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {538--568},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_26},
doi = {10.1007/3540543961\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BarthNA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Chiueh91,
author = {Tzi{-}cker Chiueh},
editor = {John Hughes},
title = {An Architectural Technique for Cache-level Garbage Collection},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {520--537},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_25},
doi = {10.1007/3540543961\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Chiueh91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ConselD91,
author = {Charles Consel and
Olivier Danvy},
editor = {John Hughes},
title = {For a Better Support of Static Data Flow},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {496--519},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_24},
doi = {10.1007/3540543961\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/ConselD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Fradet91,
author = {Pascal Fradet},
editor = {John Hughes},
title = {Syntactic Detection of Single-Threading Using Continuations},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {241--258},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_12},
doi = {10.1007/3540543961\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Fradet91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/FrandsenS91,
author = {Gudmund Skovbjerg Frandsen and
Carl Sturtivant},
editor = {John Hughes},
title = {What is an Efficient Implementation of the {\textbackslash}lambda-calculus?},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {289--312},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_14},
doi = {10.1007/3540543961\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/FrandsenS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Hannan91,
author = {John Hannan},
editor = {John Hughes},
title = {Making Abstract Machines Less Abstract},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {618--635},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_29},
doi = {10.1007/3540543961\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Hannan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Henglein91,
author = {Fritz Henglein},
editor = {John Hughes},
title = {Efficient Type Inference for Higher-Order Binding-Time Analysis},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {448--472},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_22},
doi = {10.1007/3540543961\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Henglein91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HeytensN91,
author = {Michael L. Heytens and
Rishiyur S. Nikhil},
editor = {John Hughes},
title = {List Comprehensions in Agna, {A} Parallel Persistant Object System},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {569--591},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_27},
doi = {10.1007/3540543961\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/HeytensN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Holst91,
author = {Carsten Kehler Holst},
editor = {John Hughes},
title = {Finiteness Analysis},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {473--495},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_23},
doi = {10.1007/3540543961\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Holst91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jensen91,
author = {Thomas P. Jensen},
editor = {John Hughes},
title = {Strictness Analysis in Logical Form},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {352--366},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_17},
doi = {10.1007/3540543961\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Jensen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JonesL91,
author = {Simon L. Peyton Jones and
John Launchbury},
editor = {John Hughes},
title = {Unboxed Values as First Class Citizens in a Non-Strict Functional
Language},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {636--666},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_30},
doi = {10.1007/3540543961\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/JonesL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Launchbury91,
author = {John Launchbury},
editor = {John Hughes},
title = {A Strongly-Typed Self-Applicable Partial Evaluator},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {145--164},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_8},
doi = {10.1007/3540543961\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Launchbury91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/LeroyM91,
author = {Xavier Leroy and
Michel Mauny},
editor = {John Hughes},
title = {Dynamics in {ML}},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {406--426},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_20},
doi = {10.1007/3540543961\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/LeroyM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/LeungM91,
author = {Allen Leung and
Prateek Mishra},
editor = {John Hughes},
title = {Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy
Languages},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {328--351},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_16},
doi = {10.1007/3540543961\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/LeungM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/LillieH91,
author = {David J. Lillie and
Peter G. Harrison},
editor = {John Hughes},
title = {A Projection Model of Types},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {259--288},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_13},
doi = {10.1007/3540543961\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/LillieH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Mairson91,
author = {Harry G. Mairson},
editor = {John Hughes},
title = {Outline of a Proof Theory of Parametricity},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {313--327},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_15},
doi = {10.1007/3540543961\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Mairson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Maranget91,
author = {Luc Maranget},
editor = {John Hughes},
title = {{GAML:} a Parallel Implementation of Lazy {ML}},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {102--123},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_6},
doi = {10.1007/3540543961\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Maranget91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MeijerFP91,
author = {Erik Meijer and
Maarten M. Fokkinga and
Ross Paterson},
editor = {John Hughes},
title = {Functional Programming with Bananas, Lenses, Envelopes and Barbed
Wire},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {124--144},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_7},
doi = {10.1007/3540543961\_7},
timestamp = {Wed, 14 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MeijerFP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/NipkowS91,
author = {Tobias Nipkow and
Gregor Snelting},
editor = {John Hughes},
title = {Type Classes and Overloading Resolution via Order-Sorted Unification},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {1--14},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_1},
doi = {10.1007/3540543961\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/NipkowS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SchauserCE91,
author = {Klaus E. Schauser and
David E. Culler and
Thorsten von Eicken},
editor = {John Hughes},
title = {Compiler-Controlled Multithreading for Lenient Parallel Languages},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {50--72},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_4},
doi = {10.1007/3540543961\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/SchauserCE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SmetsersNGP91,
author = {Sjaak Smetsers and
Eric N{\"{o}}cker and
John H. G. van Groningen and
Marinus J. Plasmeijer},
editor = {John Hughes},
title = {Generating Efficient Code for Lazy Functional Languages},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {592--617},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_28},
doi = {10.1007/3540543961\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/SmetsersNGP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SwarupRI91,
author = {Vipin Swarup and
Uday S. Reddy and
Evan Ireland},
editor = {John Hughes},
title = {Assignments for Applicative Languages},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {192--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_10},
doi = {10.1007/3540543961\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/SwarupRI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Thatte91,
author = {Satish R. Thatte},
editor = {John Hughes},
title = {Coercive Type Isomorphism},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {29--49},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_3},
doi = {10.1007/3540543961\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Thatte91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Traub91,
author = {Kenneth R. Traub},
editor = {John Hughes},
title = {Multi-thread Code Generation for Dataflow Architectures from Non-Strict
Programs},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {73--101},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_5},
doi = {10.1007/3540543961\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Traub91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/VolpanoS91,
author = {Dennis M. Volpano and
Geoffrey S. Smith},
editor = {John Hughes},
title = {On the Complexity of {ML} Typability with Overloading},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {15--28},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_2},
doi = {10.1007/3540543961\_2},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/VolpanoS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WakelingR91,
author = {David Wakeling and
Colin Runciman},
editor = {John Hughes},
title = {Linearity and Laziness},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {215--240},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_11},
doi = {10.1007/3540543961\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WakelingR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WeiseCRS91,
author = {Daniel Weise and
Roland Conybeare and
Erik Ruf and
Scott Seligman},
editor = {John Hughes},
title = {Automatic Online Partial Evaluation},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {165--191},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_9},
doi = {10.1007/3540543961\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WeiseCRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1991,
editor = {John Hughes},
title = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54396-1},
doi = {10.1007/3-540-54396-1},
isbn = {3-540-54396-1},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Argo89,
author = {Guy Argo},
editor = {Joseph E. Stoy},
title = {Improving the Three Instruction Machine},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {100--115},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99378},
doi = {10.1145/99370.99378},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Argo89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AriolaA89,
author = {Zena M. Ariola and
Arvind},
editor = {Joseph E. Stoy},
title = {{P-TAC:} {A} Parallel Intermediate Language},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {230--242},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99388},
doi = {10.1145/99370.99388},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AriolaA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Arya89,
author = {Kavi Arya},
editor = {Joseph E. Stoy},
title = {Processes in a Functional Animation System},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {382--395},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99409},
doi = {10.1145/99370.99409},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Arya89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AugustssonJ89,
author = {Lennart Augustsson and
Thomas Johnsson},
editor = {Joseph E. Stoy},
title = {Parallel Graph Reduction with the {\textless}nu, G{\textgreater}-Machine},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {202--213},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99386},
doi = {10.1145/99370.99386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/AugustssonJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BjernerH89,
author = {Bror Bjerner and
S{\"{o}}ren Holmstr{\"{o}}m},
editor = {Joseph E. Stoy},
title = {A Composition Approach to Time Analysis of First Order Lazy Functional
Programs},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {157--165},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99382},
doi = {10.1145/99370.99382},
timestamp = {Sun, 08 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BjernerH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Bloss89,
author = {Adrienne G. Bloss},
editor = {Joseph E. Stoy},
title = {Update Analysis and the Efficient Implementation of Functional Aggregates},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {26--38},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99373},
doi = {10.1145/99370.99373},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Bloss89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Burton89,
author = {F. Warren Burton},
editor = {Joseph E. Stoy},
title = {Indeterminate Behavior with Determinate Semantics in Parallel Programs},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {340--346},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99402},
doi = {10.1145/99370.99402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Burton89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CanningCHOM89,
author = {Peter S. Canning and
William R. Cook and
Walter L. Hill and
Walter G. Olthoff and
John C. Mitchell},
editor = {Joseph E. Stoy},
title = {F-Bounded Polymorphism for Object-Oriented Programming},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {273--280},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99392},
doi = {10.1145/99370.99392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CanningCHOM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Dwelly89,
author = {Andrew Dwelly},
editor = {Joseph E. Stoy},
title = {Functions and Dynamic User Interfaces},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {371--381},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99407},
doi = {10.1145/99370.99407},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Dwelly89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/George89,
author = {Lal George},
editor = {Joseph E. Stoy},
title = {An Abstract Machine for Parallel Graph Reduction},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {214--229},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99387},
doi = {10.1145/99370.99387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/George89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Hunt89,
author = {Sebastian Hunt},
editor = {Joseph E. Stoy},
title = {Frontiers and Open Sets in Abstract Interpretation},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {1--13},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99371},
doi = {10.1145/99370.99371},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Hunt89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JonesM89,
author = {Simon B. Jones and
Daniel Le M{\'{e}}tayer},
editor = {Joseph E. Stoy},
title = {Computer-Time Garbage Collection by Sharing Analysis},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {54--74},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99375},
doi = {10.1145/99370.99375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/JonesM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JonesS89,
author = {Simon L. Peyton Jones and
Jon Salkild},
editor = {Joseph E. Stoy},
title = {The Spineless Tagless G-Machine},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {184--201},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99385},
doi = {10.1145/99370.99385},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/JonesS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KuoM89,
author = {Tsung{-}Min Kuo and
Prateek Mishra},
editor = {Joseph E. Stoy},
title = {Strictness Analysis: {A} New Perspective Based on Type Inference},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {260--272},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99390},
doi = {10.1145/99370.99390},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KuoM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Lester89,
author = {David R. Lester},
editor = {Joseph E. Stoy},
title = {Stacklessness: Compiling Recursion for a Distributed Architecture},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {116--128},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99379},
doi = {10.1145/99370.99379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Lester89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Mauny89,
author = {Michel Mauny},
editor = {Joseph E. Stoy},
title = {Parsers and Printers as Stream Destructors and Constructors Embedded
in Functional Languages},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {360--370},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99405},
doi = {10.1145/99370.99405},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Mauny89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Mogensen89,
author = {Torben {\AE}. Mogensen},
editor = {Joseph E. Stoy},
title = {Separating Binding Times in Language Specifications},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {14--25},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99372},
doi = {10.1145/99370.99372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Mogensen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/NielsonN89,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Joseph E. Stoy},
title = {Transformations on Higher-Order Functions},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {129--143},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99380},
doi = {10.1145/99370.99380},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/NielsonN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Ohori89,
author = {Atsushi Ohori},
editor = {Joseph E. Stoy},
title = {A Simple Semantics for {ML} Polymorphism},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {281--292},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99393},
doi = {10.1145/99370.99393},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Ohori89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Peterson89,
author = {John Peterson},
editor = {Joseph E. Stoy},
title = {Untagged Data in Tagged Environments: Choosing Optimal Representations
at Compile Time},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {89--99},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99377},
doi = {10.1145/99370.99377},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Peterson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Rittri89,
author = {Mikael Rittri},
editor = {Joseph E. Stoy},
title = {Using Types as Search Keys in Function Libraries},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {174--183},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99384},
doi = {10.1145/99370.99384},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Rittri89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Rosendahl89,
author = {Mads Rosendahl},
editor = {Joseph E. Stoy},
title = {Automatic Complexity Analysis},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {144--156},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99381},
doi = {10.1145/99370.99381},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Rosendahl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/RufW89,
author = {Erik Ruf and
Daniel Weise},
editor = {Joseph E. Stoy},
title = {Nondeterminism and Unification in LogScheme: Integrating Logic and
Functional Programming},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {327--339},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99400},
doi = {10.1145/99370.99400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/RufW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/RuncimanT89,
author = {Colin Runciman and
Ian Toyn},
editor = {Joseph E. Stoy},
title = {Retrieving Re-Usable Software Components by Polymorphic Type},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {166--173},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99383},
doi = {10.1145/99370.99383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/RuncimanT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sestoft89,
author = {Peter Sestoft},
editor = {Joseph E. Stoy},
title = {Replacing Function Parameters by Global Variables},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {39--53},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99374},
doi = {10.1145/99370.99374},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Sestoft89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SilbermannJ89,
author = {Frank S. K. Silbermann and
Bharat Jayaraman},
editor = {Joseph E. Stoy},
title = {Set Abstraction in Functional and Logic Programming},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {313--326},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99398},
doi = {10.1145/99370.99398},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SilbermannJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Takayama89,
author = {Yukihide Takayama},
editor = {Joseph E. Stoy},
title = {Extended Projection - New Method to Extract Efficient Programs from
Constructive Proofs},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {299--312},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99396},
doi = {10.1145/99370.99396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Takayama89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Traub89,
author = {Kenneth R. Traub},
editor = {Joseph E. Stoy},
title = {Compilation as Partitioning: {A} New Approach to Compiling Non-Strict
Functional Languages},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {75--88},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99376},
doi = {10.1145/99370.99376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Traub89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler89,
author = {Philip Wadler},
editor = {Joseph E. Stoy},
title = {Theorems for Free!},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {347--359},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99404},
doi = {10.1145/99370.99404},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wadler89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WandO89,
author = {Mitchell Wand and
Patrick O'Keefe},
editor = {Joseph E. Stoy},
title = {On the Complexity of Type Inference with Coercion},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {293--298},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99394},
doi = {10.1145/99370.99394},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WandO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WeissSS89,
author = {Shlomit Weiss and
Ilan Y. Spillinger and
Gabriel M. Silberman},
editor = {Joseph E. Stoy},
title = {Architectural Improvements for Data-Driven {VLSI} Processing Arrays},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {243--259},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99389},
doi = {10.1145/99370.99389},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/WeissSS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1989,
editor = {Joseph E. Stoy},
title = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370},
doi = {10.1145/99370},
isbn = {0-201-51389-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AppelM87,
author = {Andrew W. Appel and
David B. MacQueen},
editor = {Gilles Kahn},
title = {A Standard {ML} compiler},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {301--324},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_17},
doi = {10.1007/3-540-18317-5\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/AppelM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BellotJ87,
author = {Patrick Bellot and
V{\'{e}}ronique Jay},
editor = {Gilles Kahn},
title = {A theory for natural modelisation and implementation of functions
with variable arity},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {212--233},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_13},
doi = {10.1007/3-540-18317-5\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BellotJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BrusELP87,
author = {T. H. Brus and
Marko C. J. D. van Eekelen and
M. O. van Leer and
Marinus J. Plasmeijer},
editor = {Gilles Kahn},
title = {{CLEAN:} {A} language for functional graph writing},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {364--384},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_20},
doi = {10.1007/3-540-18317-5\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BrusELP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Burn87,
author = {Geoffrey Livingston Burn},
editor = {Gilles Kahn},
title = {Evaluation transformers - a model for the parallel evaluation of functional
languages (extended abstract)},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {446--470},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_24},
doi = {10.1007/3-540-18317-5\_24},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Burn87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Clarke87,
author = {T. J. W. Clarke},
editor = {Gilles Kahn},
title = {The {D-RISC:} An architecture for use in multiprocessors},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {16--33},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_2},
doi = {10.1007/3-540-18317-5\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Clarke87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/DarlingtonW87,
author = {John Darlington and
Lyndon While},
editor = {Gilles Kahn},
title = {Controlling the behaviour of functional language systems},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {278--300},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_16},
doi = {10.1007/3-540-18317-5\_16},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/DarlingtonW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/FairbairnW87,
author = {Jon Fairbairn and
Stuart Wray},
editor = {Gilles Kahn},
title = {{TIM:} {A} simple, lazy abstract machine to execute supercombinatorics},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {34--45},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_3},
doi = {10.1007/3-540-18317-5\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/FairbairnW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GautierG87,
author = {Thierry Gautier and
Paul {Le Guernic}},
editor = {Gilles Kahn},
title = {{SIGNAL:} {A} declarative language for synchronous programming of
real-time systems},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {257--277},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_15},
doi = {10.1007/3-540-18317-5\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/GautierG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Goldberg87,
author = {Benjamin Goldberg},
editor = {Gilles Kahn},
title = {Detecting sharing of partial applications in functional programs},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {408--425},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_22},
doi = {10.1007/3-540-18317-5\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Goldberg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GrossS87,
author = {Thomas R. Gross and
Alan Sussman},
editor = {Gilles Kahn},
title = {Mapping a single-assignment language onto the Warp systolic array},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {347--363},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_19},
doi = {10.1007/3-540-18317-5\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/GrossS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HudakA87,
author = {Paul Hudak and
Steven Anderson},
editor = {Gilles Kahn},
title = {Pomset interpretations of parallel functional programs},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {234--256},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_14},
doi = {10.1007/3-540-18317-5\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/HudakA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JayaramanP87,
author = {Bharat Jayaraman and
David A. Plaisted},
editor = {Gilles Kahn},
title = {Functional programming with sets},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {194--211},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_12},
doi = {10.1007/3-540-18317-5\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/JayaramanP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Johnsson87,
author = {Thomas Johnsson},
editor = {Gilles Kahn},
title = {Attribute grammars as a functional programming paradigm},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {154--173},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_10},
doi = {10.1007/3-540-18317-5\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Johnsson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JonesCSH87,
author = {Simon L. Peyton Jones and
Chris D. Clack and
Jon Salkild and
Mark Hardie},
editor = {Gilles Kahn},
title = {{GRIP} - {A} high-performance architecture for parallel graph reduction},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {98--112},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_7},
doi = {10.1007/3-540-18317-5\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/JonesCSH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Lester87,
author = {David R. Lester},
editor = {Gilles Kahn},
title = {The G-machine as a representation of stack semantics},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {46--59},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_4},
doi = {10.1007/3-540-18317-5\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Lester87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Lins87,
author = {Rafael Dueire Lins},
editor = {Gilles Kahn},
title = {Categorical multi-combinators},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {60--79},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_5},
doi = {10.1007/3-540-18317-5\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Lins87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MartinH87,
author = {Chris Martin and
Chris Hankin},
editor = {Gilles Kahn},
title = {Finding fixed points in finite lattices},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {426--445},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_23},
doi = {10.1007/3-540-18317-5\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/MartinH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/NorthR87,
author = {Stephen C. North and
John H. Reppy},
editor = {Gilles Kahn},
title = {Concurrent garbage collection on stock hardware},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {113--133},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_8},
doi = {10.1007/3-540-18317-5\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/NorthR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/RuggieroS87,
author = {Carlos A. Ruggiero and
John Sargeant},
editor = {Gilles Kahn},
title = {Control of parallelism in the Manchester Dataflow Machine},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {1--15},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_1},
doi = {10.1007/3-540-18317-5\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/RuggieroS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Schlag87,
author = {Martine D. F. Schlag},
editor = {Gilles Kahn},
title = {The planar topology of functional programs},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {174--193},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_11},
doi = {10.1007/3-540-18317-5\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Schlag87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ToynDR87,
author = {Ian Toyn and
Alan J. Dix and
Colin Runciman},
editor = {Gilles Kahn},
title = {Performance polymorphism},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {325--346},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_18},
doi = {10.1007/3-540-18317-5\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/ToynDR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WadlerH87,
author = {Philip Wadler and
R. J. M. Hughes},
editor = {Gilles Kahn},
title = {Projections for strictness analysis},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {385--407},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_21},
doi = {10.1007/3-540-18317-5\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WadlerH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/WatsonW87,
author = {Paul Watson and
Ian Watson},
editor = {Gilles Kahn},
title = {Evaluating functional programs on the {FLAGSHIP} machine},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {80--97},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_6},
doi = {10.1007/3-540-18317-5\_6},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/WatsonW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wise87,
author = {David S. Wise},
editor = {Gilles Kahn},
title = {Matrix algebra and applicative programming},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {134--153},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_9},
doi = {10.1007/3-540-18317-5\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Wise87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1987,
editor = {Gilles Kahn},
title = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5},
doi = {10.1007/3-540-18317-5},
isbn = {3-540-18317-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/AbramskyS85,
author = {Samson Abramsky and
R. Sykes},
editor = {Jean{-}Pierre Jouannaud},
title = {Secd-m: a Virtual Machine for Applicative Programming},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {81--98},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_31},
doi = {10.1007/3-540-15975-4\_31},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/fpca/AbramskyS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Augustsson85,
author = {Lennart Augustsson},
editor = {Jean{-}Pierre Jouannaud},
title = {Compiling Pattern Matching},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {368--381},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_48},
doi = {10.1007/3-540-15975-4\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Augustsson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Bellot85,
author = {Patrick Bellot},
editor = {Jean{-}Pierre Jouannaud},
title = {High Order Programming in Extended {FP}},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {65--80},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_30},
doi = {10.1007/3-540-15975-4\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Bellot85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Brownbridge85,
author = {David R. Brownbridge},
editor = {Jean{-}Pierre Jouannaud},
title = {Cyclic Reference Counting for Combinator Machines},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {273--288},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_42},
doi = {10.1007/3-540-15975-4\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Brownbridge85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BushG85,
author = {V. J. Bush and
John R. Gurd},
editor = {Jean{-}Pierre Jouannaud},
title = {Transforming Recursive Programs for Execution on Parallel Machines},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {350--367},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_47},
doi = {10.1007/3-540-15975-4\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BushG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ClackJ85,
author = {Chris D. Clack and
Simon L. Peyton Jones},
editor = {Jean{-}Pierre Jouannaud},
title = {Strictness Analysis - {A} Practical Approach},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {35--49},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_28},
doi = {10.1007/3-540-15975-4\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/ClackJ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CousineauCM85,
author = {Guy Cousineau and
Pierre{-}Louis Curien and
Michel Mauny},
editor = {Jean{-}Pierre Jouannaud},
title = {The Categorical Abstract Machine},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {50--64},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_29},
doi = {10.1007/3-540-15975-4\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/CousineauCM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Debray85,
author = {Saumya K. Debray},
editor = {Jean{-}Pierre Jouannaud},
title = {Optimizing Almost-Tail-Recursive Prolog Programs},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {204--219},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_38},
doi = {10.1007/3-540-15975-4\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Debray85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Dybjer85,
author = {Peter Dybjer},
editor = {Jean{-}Pierre Jouannaud},
title = {Program Verification in a Logical Theory of Constructions},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {334--349},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_46},
doi = {10.1007/3-540-15975-4\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Dybjer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HankinOS85,
author = {Chris Hankin and
Peter Osmon and
Malcolm J. Shute},
editor = {Jean{-}Pierre Jouannaud},
title = {{COBWEB} - {A} Combinator Reduction Architecture},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {99--112},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_32},
doi = {10.1007/3-540-15975-4\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/HankinOS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/HudakG85,
author = {Paul Hudak and
Benjamin Goldberg},
editor = {Jean{-}Pierre Jouannaud},
title = {Serial Combinators: "Optimal" Grains of Parallelism},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {382--399},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_49},
doi = {10.1007/3-540-15975-4\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/HudakG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Hughes85,
author = {John Hughes},
editor = {Jean{-}Pierre Jouannaud},
title = {Lazy Memo-functions},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {129--146},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_34},
doi = {10.1007/3-540-15975-4\_34},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Hughes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Hughes85a,
author = {John Hughes},
editor = {Jean{-}Pierre Jouannaud},
title = {A Distributed Garbage Collection Algorithm},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {256--271},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_41},
doi = {10.1007/3-540-15975-4\_41},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Hughes85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Johnsson85,
author = {Thomas Johnsson},
editor = {Jean{-}Pierre Jouannaud},
title = {Lambda Lifting: Treansforming Programs to Recursive Equations},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {190--203},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_37},
doi = {10.1007/3-540-15975-4\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Johnsson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Kieburtz85,
author = {Richard B. Kieburtz},
editor = {Jean{-}Pierre Jouannaud},
title = {The G-Machine: {A} Fast, Graph-Reduction Evaluator},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {400--413},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_50},
doi = {10.1007/3-540-15975-4\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Kieburtz85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Nikhil85,
author = {Rishiyur S. Nikhil},
editor = {Jean{-}Pierre Jouannaud},
title = {Practical Polymorphism},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {319--333},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_45},
doi = {10.1007/3-540-15975-4\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Nikhil85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ODonnell85,
author = {John T. O'Donnell},
editor = {Jean{-}Pierre Jouannaud},
title = {An Architecture that Efficiently Updates Associative Aggregates in
Applicative Programing Languages},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {164--189},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_36},
doi = {10.1007/3-540-15975-4\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/ODonnell85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PatelSE85,
author = {Dorab Patel and
Martine D. F. Schlag and
Milos D. Ercegovac},
editor = {Jean{-}Pierre Jouannaud},
title = {\emph{vFP}: An Environment for the Multi-level Specification, Analysis,
and Synthesis of Hardware Algorithms},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {238--255},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_40},
doi = {10.1007/3-540-15975-4\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/PatelSE85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Plaisted85,
author = {David A. Plaisted},
editor = {Jean{-}Pierre Jouannaud},
title = {An Architecture for fast Data Movement in the {FFP} Machine},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {147--163},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_35},
doi = {10.1007/3-540-15975-4\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Plaisted85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sheeran85,
author = {Mary Sheeran},
editor = {Jean{-}Pierre Jouannaud},
title = {Designing Regular Array Architectures using Higher Order Functions},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {220--237},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_39},
doi = {10.1007/3-540-15975-4\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Sheeran85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SkedzielewskiW85,
author = {Stephen K. Skedzielewski and
M. L. Welcome},
editor = {Jean{-}Pierre Jouannaud},
title = {Data Flow Graph Optimization in {IF1}},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {17--34},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_27},
doi = {10.1007/3-540-15975-4\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/SkedzielewskiW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Turner85,
author = {D. A. Turner},
editor = {Jean{-}Pierre Jouannaud},
title = {Miranda: {A} Non-Strict Functional language with Polymorphic Types},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {1--16},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_26},
doi = {10.1007/3-540-15975-4\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Turner85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler85,
author = {Philip Wadler},
editor = {Jean{-}Pierre Jouannaud},
title = {How to Replace Failure by a List of Successes: {A} method for exception
handling, backtracking, and pattern matching in lazy functional languages},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {113--128},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_33},
doi = {10.1007/3-540-15975-4\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Wadler85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wise85,
author = {David S. Wise},
editor = {Jean{-}Pierre Jouannaud},
title = {Design for a Multiprocessing Heap with On-board Reference Counting},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {289--304},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_43},
doi = {10.1007/3-540-15975-4\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Wise85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Young85,
author = {Mark F. Young},
editor = {Jean{-}Pierre Jouannaud},
title = {A Functional Language and Modular Architecture for Scientific Computing},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {305--318},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_44},
doi = {10.1007/3-540-15975-4\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Young85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/85,
editor = {Jean{-}Pierre Jouannaud},
title = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4},
doi = {10.1007/3-540-15975-4},
isbn = {3-540-15975-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Backus81,
author = {John W. Backus},
editor = {Arvind and
Jack B. Dennis},
title = {Function level programs as mathematical objects},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {1--10},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806757},
doi = {10.1145/800223.806757},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Backus81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Berry81,
author = {G{\'{e}}rard Berry},
editor = {Arvind and
Jack B. Dennis},
title = {Programming with concrete data structures and sequential algorithms},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {49--58},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806762},
doi = {10.1145/800223.806762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Berry81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BunemanNF81,
author = {Peter Buneman and
Rishiyur S. Nikhil and
Robert E. Frankel},
editor = {Arvind and
Jack B. Dennis},
title = {A practical functional programming system for databases},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {195--202},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806779},
doi = {10.1145/800223.806779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/BunemanNF81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BurtonS81,
author = {F. Warren Burton and
M. Ronan Sleep},
editor = {Arvind and
Jack B. Dennis},
title = {Executing functional programs on a virtual tree of processors},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {187--194},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806778},
doi = {10.1145/800223.806778},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/BurtonS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CattoG81,
author = {Arthur J. Catto and
John R. Gurd},
editor = {Arvind and
Jack B. Dennis},
title = {Resource management in dataflow},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {77--84},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806765},
doi = {10.1145/800223.806765},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CattoG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ClarkG81,
author = {Keith L. Clark and
Steve Gregory},
editor = {Arvind and
Jack B. Dennis},
title = {A relational language for parallel programming},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {171--178},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806776},
doi = {10.1145/800223.806776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/ClarkG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/ConeryK81,
author = {John S. Conery and
Dennis F. Kibler},
editor = {Arvind and
Jack B. Dennis},
title = {Parallel interpretation of logic programs},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {163--170},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806775},
doi = {10.1145/800223.806775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/ConeryK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/DarlingtonR81,
author = {John Darlington and
Mike Reeve},
editor = {Arvind and
Jack B. Dennis},
title = {{ALICE} a multi-processor reduction machine for the parallel evaluation
{CF} applicative languages},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {65--76},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806764},
doi = {10.1145/800223.806764},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/DarlingtonR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Frank81,
author = {Geoffrey A. Frank},
editor = {Arvind and
Jack B. Dennis},
title = {Specification of data structures for {FP} programs},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {221--228},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806782},
doi = {10.1145/800223.806782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Frank81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/GuttagHW81,
author = {John V. Guttag and
James J. Horning and
John Williams},
editor = {Arvind and
Jack B. Dennis},
title = {{FP} with data abstraction and strong typing},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {11--24},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806758},
doi = {10.1145/800223.806758},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/GuttagHW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/IslamMB81,
author = {Noorul Islam and
Thomas J. Myers and
Paul Broome},
editor = {Arvind and
Jack B. Dennis},
title = {A simple optimizer for FP-like languages},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {33--40},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806760},
doi = {10.1145/800223.806760},
timestamp = {Fri, 11 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/IslamMB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KapurMS81,
author = {Deepak Kapur and
David R. Musser and
Alexander A. Stepanov},
editor = {Arvind and
Jack B. Dennis},
title = {Operators and algebraic structures},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {59--64},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806763},
doi = {10.1145/800223.806763},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KapurMS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KellerL81,
author = {Robert M. Keller and
Gary Lindstrom},
editor = {Arvind and
Jack B. Dennis},
title = {Applications of feedback in functional programming},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {123--130},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806771},
doi = {10.1145/800223.806771},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KellerL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KellerS81,
author = {Robert M. Keller and
M. Ronan Sleep},
editor = {Arvind and
Jack B. Dennis},
title = {Applicative caching: Programmer control of object sharing and lifetime
in. distributed implementations of applicative languages},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {131--140},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806772},
doi = {10.1145/800223.806772},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KellerS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KieburtzS81,
author = {Richard B. Kieburtz and
Jonathan C. Shultis},
editor = {Arvind and
Jack B. Dennis},
title = {Transformations of {FP} program schemes},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {41--48},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806761},
doi = {10.1145/800223.806761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KieburtzS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MacLennan81,
author = {Bruce J. MacLennan},
editor = {Arvind and
Jack B. Dennis},
title = {Introduction to relational programming},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {213--220},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806781},
doi = {10.1145/800223.806781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MacLennan81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Mago81,
author = {Gyula Mag{\'{o}}},
editor = {Arvind and
Jack B. Dennis},
title = {Copying operands versus copying results: {A} solution to the problem
of large operands in FFP'S},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {93--98},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806767},
doi = {10.1145/800223.806767},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Mago81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/MalhotraR81,
author = {Vishv M. Malhotra and
V. Rajaraman},
editor = {Arvind and
Jack B. Dennis},
title = {A data-flow language for specifying business data processing applications},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {203--212},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806780},
doi = {10.1145/800223.806780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/MalhotraR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Nordstrom81,
author = {Bengt Nordstr{\"{o}}m},
editor = {Arvind and
Jack B. Dennis},
title = {Programming in Constructive Set Theory: Some examples},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {141--154},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806773},
doi = {10.1145/800223.806773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Nordstrom81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PageCG81,
author = {Rex L. Page and
M. G. Conant and
Dale H. Grit},
editor = {Arvind and
Jack B. Dennis},
title = {If-then-else as a concurrency inhibitor in eager beaver evaluation
of recursive programs},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {179--186},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806777},
doi = {10.1145/800223.806777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PageCG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PresnellP81,
author = {H. A. Presnell and
Roy P. Pargas},
editor = {Arvind and
Jack B. Dennis},
title = {Communication along shortest paths in a tree machine},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {107--114},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806769},
doi = {10.1145/800223.806769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PresnellP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sintzoff81,
author = {Michel Sintzoff},
editor = {Arvind and
Jack B. Dennis},
title = {Proof-oriented and applicative valuations in definitions of algorithms},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {155--162},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806774},
doi = {10.1145/800223.806774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Sintzoff81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/StanatW81,
author = {Donald F. Stanat and
E. Hollins Williams Jr.},
editor = {Arvind and
Jack B. Dennis},
title = {Optimal associative searching on a cellular computer},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {99--106},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806768},
doi = {10.1145/800223.806768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/StanatW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Tolle81,
author = {Donald MacDavid Tolle},
editor = {Arvind and
Jack B. Dennis},
title = {Implanting {FFP} trees in binary trees: An architectural proposal},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {115--122},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806770},
doi = {10.1145/800223.806770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Tolle81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Turner81,
author = {D. A. Turner},
editor = {Arvind and
Jack B. Dennis},
title = {The semantic elegance of applicative languages},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {85--92},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806766},
doi = {10.1145/800223.806766},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Turner81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Wadler81,
author = {Philip Wadler},
editor = {Arvind and
Jack B. Dennis},
title = {Applicative style programming, program transformation, and list operators},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {25--32},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806759},
doi = {10.1145/800223.806759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Wadler81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1981,
editor = {Arvind and
Jack B. Dennis},
title = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
publisher = {{ACM}},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=800223},
isbn = {0-89791-060-5},
timestamp = {Thu, 12 Nov 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/1981.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-06-12 21:42 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:
