Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture
FPCA, 1993.

@proceedings{FPCA-1993,
	address       = "Copenhagen, Denmark",
	isbn          = "0-89791-595-X",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}",
	year          = 1993,
}

Contents (33 items)

12 ×#functional
6 ×#implementation
5 ×#lazy evaluation
4 ×#evaluation
3 ×#parallel
3 ×#reduction
2 ×#analysis
2 ×#benchmark
2 ×#data flow
2 ×#experience

FPCA-1993-PageM #experience #functional #scalability

Experience with a Large Scientific Application in a Functional Language (RLP, BDM), pp. 3–11.

FPCA-1993-GrantSWZ #algorithm #finite #functional #implementation

Some Issues in a Functional Implementation of a Finite Element Algorithm (PWG, JAS, MFW, XZ), pp. 12–17.

FPCA-1993-KozatoO #benchmark #functional #image #lazy evaluation #metric #source code

Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages (YK, GPO), pp. 18–30.

FPCA-1993-AikenW #constraints #type inference

Type Inclusion Constraints and Type Inference (AA, ELW), pp. 31–41.

FPCA-1993-Lillie #type system

Conjunctive Subtyping (DJL), pp. 42–51.

FPCA-1993-Jones #higher-order #morphism #polymorphism

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism (MPJ), pp. 52–64.

FPCA-1993-Augustsson #haskell #implementation

Implementing Haskell Overloading (LA), pp. 65–73.

FPCA-1993-AdityaC #polymorphism #re-engineering

Compiler-directed Type Reconstruction for Polymorphic Languages (SA, AC), pp. 74–82.

FPCA-1993-Aasa

Precedences for Conctypes (AA), pp. 83–94.

FPCA-1993-Hicks #case study #experience

Experiences with Compiler-Directed Storage Reclamation (JH), pp. 95–105.

FPCA-1993-SansomJ #garbage collection #haskell

Generational Garbage Collection for Haskell (PMS, SLPJ), pp. 106–116.

FPCA-1993-Sparud #garbage collection

Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.

FPCA-1993-MoreauR #evaluation #functional #parallel

Sound Rules for Parallel Evaluation of a Functional Language with callcc (LM, DR), pp. 125–135.

FPCA-1993-Gordon #functional #lazy evaluation #semantics

An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.

FPCA-1993-Riecke

Delimiting the Scope of Effects (JGR), pp. 146–158.

FPCA-1993-RohNB #clustering #data flow #evaluation #generative

Generation and Quantitative Evaluation of Dataflow Clusters (LR, WAN, APWB), pp. 159–168.

FPCA-1993-Ang #data flow #implementation #performance

Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.

FPCA-1993-Feeley #hardware

Polling Efficiently on Stock Hardware (MF), pp. 179–190.

FPCA-1993-CattrallR #functional #implementation #programming #relational #representation

Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.

FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards

Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.

FPCA-1993-HammarlundL #functional #on the #parallel #programming language

On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.

FPCA-1993-GillLJ #deforestation

A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.

FPCA-1993-SheardF

A Fold for All Seasons (TS, LF), pp. 233–242.

FPCA-1993-Yoshida #reduction #λ-calculus

Optimal Reduction in Weak-λ-calculus with Shared Environments (NY), pp. 243–254.

FPCA-1993-Nocker #analysis #reduction #strict #using

Strictness Analysis using Abstract Reduction (EN), pp. 255–265.

FPCA-1993-SastryCA #analysis #functional #strict

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates (AVSS, WDC, ZMA), pp. 266–275.

FPCA-1993-PurushothamanS #semantics

From Operational Definitions to Abstract Semantics (SP, JS), pp. 276–288.

FPCA-1993-ChuangG #functional #multi #programming #realtime

Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming (TRC, BG), pp. 289–298.

FPCA-1993-KuchenG #implementation #parallel

Parallel Implementation of Bags (HK, KG), pp. 299–307.

FPCA-1993-BondorfP #compilation #partial evaluation

Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.

FPCA-1993-CarlssonH #functional #lazy evaluation #named #user interface #visual notation

FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.

FPCA-1993-FinneB #evaluation #reduction

Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine (SF, GLB), pp. 331–340.

FPCA-1993-HartelL #benchmark #functional #implementation #lazy evaluation #metric

Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.