FPCA 1991: Cambridge, MA, USA
John Hughes (Ed.): Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings. Springer 1991 Lecture Notes in Computer Science ISBN 3-540-54396-1- Tobias Nipkow, Gregor Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. 1-14
- Satish R. Thatte: Coercive Type Isomorphism. 29-49
- Klaus E. Schauser, David E. Culler, Thorsten von Eicken: Compiler-Controlled Multithreading for Lenient Parallel Languages. 50-72
- Kenneth R. Traub: Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs. 73-101
- Luc Maranget: GAML: a Parallel Implementation of Lazy ML. 102-123
- Erik Meijer, Maarten M. Fokkinga, Ross Paterson: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. 124-144
- John Launchbury: A Strongly-Typed Self-Applicable Partial Evaluator. 145-164
- Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman: Automatic Online Partial Evaluation. 165-191
- Pascal Fradet: Syntactic Detection of Single-Threading Using Continuations. 241-258
- Gudmund Skovbjerg Frandsen, Carl Sturtivant: What is an Efficient Implementation of the \lambda-calculus? 289-312
- Harry G. Mairson: Outline of a Proof Theory of Parametricity. 313-327
- Allen Leung, Prateek Mishra: Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. 328-351
- Thomas P. Jensen: Strictness Analysis in Logical Form. 352-366
- Gebreselassie Baraki: A Note on Abstract Interpretation of Polymorphic Functions. 367-378
- Fritz Henglein: Efficient Type Inference for Higher-Order Binding-Time Analysis. 448-472
- Carsten Kehler Holst: Finiteness Analysis. 473-495
- Tzi-cker Chiueh: An Architectural Technique for Cache-level Garbage Collection. 520-537
- Paul S. Barth, Rishiyur S. Nikhil, Arvind: M-Structures: Extending a Parallel, Non-strict, Functional Language with State. 538-568
- Michael L. Heytens, Rishiyur S. Nikhil: List Comprehensions in Agna, A Parallel Persistant Object System. 569-591
- Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. 592-617
- John Hannan: Making Abstract Machines Less Abstract. 618-635
- Simon L. Peyton Jones, John Launchbury: Unboxed Values as First Class Citizens in a Non-Strict Functional Language. 636-666
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team