6. FPCA 1993:
Copenhagen,
Denmark
FPCA '93 Conference on Functional Programming Languages and Computer Architecture. Copenhagen,
Denmark, 9-11 June 1993. ACM Press, 1993, ISBN 0-89791-595-X
- R. L. Page, B. D. Moe:
Experience with a Large Scientific Application in a Functional Language.
3-11 BibTeX
- Philip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang:
Some Issues in a Functional Implementation of a Finite Element Algorithm.
12-17 BibTeX
- Y. Kozato, G. P. Otto:
Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages.
18-30 BibTeX
- Alexander Aiken, Edward L. Wimmers:
Type Inclusion Constraints and Type Inference.
31-41 BibTeX
- David J. Lillie:
Conjunctive Subtyping.
42-51 BibTeX
- Mark P. Jones:
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.
52-64 BibTeX
- Lennart Augustsson:
Implementing Haskell Overloading.
65-73 BibTeX
- Shail Aditya, Alejandro Caro:
Compiler-directed Type Reconstruction for Polymorphic Languages.
74-82 BibTeX
- Annika Aasa:
Precedences for Conctypes.
83-94 BibTeX
- J. Hicks:
Experiences with Compiler-Directed Storage Reclamation.
95-105 BibTeX
- Patrick M. Sansom, Simon L. Peyton Jones:
Generational Garbage Collection for Haskell.
106-116 BibTeX
- Jan Sparud:
Fixing Some Space Leaks without a Garbage Collector.
117-124 BibTeX
- Luc Moreau, Daniel Ribbens:
Sound Rules for Parallel Evaluation of a Functional Language with callcc.
125-135 BibTeX
- Andrew D. Gordon:
An Operational Semantics for I/O in a Lazy Functional Language.
136-145 BibTeX
- Jon G. Riecke:
Delimiting the Scope of Effects.
146-158 BibTeX
- Lucas Roh, Walid A. Najjar, A. P. Wim Böhm:
Generation and Quantitative Evaluation of Dataflow Clusters.
159-168 BibTeX
- Boon Seong Ang:
Efficient Implementation of Sequential Loops in Dataflow Computation.
169-178 BibTeX
- Marc Feeley:
Polling Efficiently on Stock Hardware.
179-190 BibTeX
- Dave Cattrall, Colin Runciman:
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming.
191-200 BibTeX
- F. Liu:
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages.
201-209 BibTeX
- P. Hammarlund, Björn Lisper:
On the Relation between Functional and Data Parallel Programming Languages.
210-222 BibTeX
- Andrew J. Gill, John Launchbury, Simon L. Peyton Jones:
A Short Cut to Deforestation.
223-232 BibTeX
- Tim Sheard, Leonidas Fegaras:
A Fold for All Seasons.
233-242 BibTeX
- N. Yoshida:
Optimal Reduction in Weak-Lambda-calculus with Shared Environments.
243-254 BibTeX
- E. Nocker:
Strictness Analysis using Abstract Reduction.
255-265 BibTeX
- A. V. S. Sastry, William D. Clinger, Zena M. Ariola:
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates.
266-275 BibTeX
- S. Purushothaman, Jill Seaman:
From Operational Definitions to Abstract Semantics.
276-288 BibTeX
- Tyng-Ruey Chuang, Benjamin Goldberg:
Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming.
289-298 BibTeX
- Herbert Kuchen, Katia Gladitz:
Parallel Implementation of Bags.
299-307 BibTeX
- Anders Bondorf, Jens Palsberg:
Compiling Actions by Partial Evaluation.
308-320 BibTeX
- Mats Carlsson, Thomas Hallgren:
FUDGETS: A Graphical User Interface in a Lazy Functional Language.
321-330 BibTeX
- Sigbjorn Finne, Geoffrey L. Burn:
Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine.
331-340 BibTeX
- Pieter H. Hartel, Koen Langendoen:
Benchmarking Implementations of Lazy Functional Languages.
341-349 BibTeX
Copyright © Sat May 16 23:12:38 2009
by Michael Ley (ley@uni-trier.de)
