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