John Hughes
Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture
FPCA, 1991.

@proceedings{FPCA-1991,
	address       = "Cambridge, Massachusetts, USA",
	editor        = "John Hughes",
	isbn          = "3-540-54396-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture}",
	volume        = 523,
	year          = 1991,
}

Contents (30 items)

4 ×#functional
4 ×#lazy evaluation
4 ×#parallel
4 ×#strict
3 ×#analysis
3 ×#implementation
3 ×#ml
3 ×#performance
3 ×#thread
2 ×#architecture

FPCA-1991-NipkowS #order #unification

Type Classes and Overloading Resolution via Order-Sorted Unification (TN, GS), pp. 1–14.

FPCA-1991-VolpanoS #complexity #ml #on the

On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.

FPCA-1991-Thatte #morphism

Coercive Type Isomorphism (SRT), pp. 29–49.

FPCA-1991-SchauserCE #parallel #thread

Compiler-Controlled Multithreading for Lenient Parallel Languages (KES, DEC, TvE), pp. 50–72.

FPCA-1991-Traub #architecture #code generation #data flow #multi #source code #strict #thread

Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.

FPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel

GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.

FPCA-1991-MeijerFP #functional #lens #programming

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.

FPCA-1991-Launchbury #self

A Strongly-Typed Self-Applicable Partial Evaluator (JL), pp. 145–164.

FPCA-1991-WeiseCRS #automation #online #partial evaluation

Automatic Online Partial Evaluation (DW, RC, ER, SS), pp. 165–191.

FPCA-1991-SwarupRI

Assignments for Applicative Languages (VS, USR, EI), pp. 192–214.

FPCA-1991-WakelingR #lazy evaluation

Linearity and Laziness (DW, CR), pp. 215–240.

FPCA-1991-Fradet #continuation #detection #thread #using

Syntactic Detection of Single-Threading Using Continuations (PF), pp. 241–258.

FPCA-1991-LillieH

A Projection Model of Types (DJL, PGH), pp. 259–288.

FPCA-1991-FrandsenS #implementation #performance #question #what #λ-calculus

What is an Efficient Implementation of the λ-calculus? (GSF, CS), pp. 289–312.

FPCA-1991-Mairson #parametricity #proving

Outline of a Proof Theory of Parametricity (HGM), pp. 313–327.

FPCA-1991-LeungM #lazy evaluation #reasoning

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages (AL, PM), pp. 328–351.

FPCA-1991-Jensen #analysis #logic #strict

Strictness Analysis in Logical Form (TPJ), pp. 352–366.

FPCA-1991-Baraki #abstract interpretation #polymorphism

A Note on Abstract Interpretation of Polymorphic Functions (GB), pp. 367–378.

FPCA-1991-AdityaN #incremental #morphism #polymorphism

Incremental Polymorphism (SA, RSN), pp. 379–405.

FPCA-1991-LeroyM #ml

Dynamics in ML (XL, MM), pp. 406–426.

FPCA-1991-AikenM #implementation

Implementing Regular Tree Expressions (AA, BRM), pp. 427–447.

FPCA-1991-Henglein #analysis #higher-order #performance #type inference

Efficient Type Inference for Higher-Order Binding-Time Analysis (FH), pp. 448–472.

FPCA-1991-Holst #analysis

Finiteness Analysis (CKH), pp. 473–495.

FPCA-1991-ConselD #data flow

For a Better Support of Static Data Flow (CC, OD), pp. 496–519.

FPCA-1991-Chiueh #architecture #garbage collection

An Architectural Technique for Cache-level Garbage Collection (TcC), pp. 520–537.

FPCA-1991-BarthNA #functional #named #parallel #strict

M-Structures: Extending a Parallel, Non-strict, Functional Language with State (PSB, RSN, A), pp. 538–568.

FPCA-1991-HeytensN #object-oriented #parallel

List Comprehensions in Agna, A Parallel Persistant Object System (MLH, RSN), pp. 569–591.

FPCA-1991-SmetsersNGP #functional #generative #lazy evaluation #performance

Generating Efficient Code for Lazy Functional Languages (SS, EN, JHGvG, MJP), pp. 592–617.

FPCA-1991-Hannan #automaton

Making Abstract Machines Less Abstract (JH), pp. 618–635.

FPCA-1991-JonesL #functional #strict

Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.