Search dblp for Publications

export results for "toc:db/conf/fpca/fpca1991.bht:"

 download as .bib file

@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    = {Sun, 04 Aug 2024 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}
}