Conference Record of the Seventh SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture
FPCA, 1995.

@proceedings{FPCA-1995,
	address       = "La Jolla, CA, USA",
	isbn          = "0-89791-595-X",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Seventh SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture}",
	year          = 1995,
}

Contents (30 items)

7 ×#functional
4 ×#source code
3 ×#polymorphism
2 ×#compilation
2 ×#parallel
2 ×#recursion
2 ×#strict
2 ×#type inference
2 ×#type system

FPCA-1995-TurnerWM

Once Upon a Type (DNT, PW, CM), pp. 1–11.

FPCA-1995-GunterRR #exception

A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.

FPCA-1995-Thiemann #polymorphism #revisited #type system

Unboxed Values and Polymorphic Typing Revisited (PT), pp. 24–35.

FPCA-1995-QuintonRW #functional #imperative #source code

Deriving Imperative Code from Functional Programs (PQ, SVR, DW), pp. 36–44.

FPCA-1995-SharpR #specification #using

Using a Language of Functions and Relations for VLSI Specification (RS, OR), pp. 45–54.

FPCA-1995-Marchiori #functional #logic programming

The Functional Side of Logic Programming (MM), pp. 55–65.

FPCA-1995-MorrisettFH #memory management #modelling

Abstract Models of Memory Management (JGM, MF, RH), pp. 66–77.

FPCA-1995-MiraniH

First-Class Schedules and Virtual Maps (RM, PH), pp. 78–85.

FPCA-1995-Okasaki #functional

Purely Functional Random-Access Lists (CO), pp. 86–95.

FPCA-1995-HylandO #game studies #π-calculus

π-Calculus, Dialogue Games and PCF (JMEH, CHLO), pp. 96–107.

FPCA-1995-HughesM

Making Choices Lazily (JH, AM), pp. 108–119.

FPCA-1995-Wand #compilation #correctness #parallel

Compiler Correctness for Parallel Languages (MW), pp. 120–134.

FPCA-1995-OderskyWW

A Second Look at Overloading (MO, PW, MW), pp. 135–146.

FPCA-1995-Rittri #polymorphism #recursion

Dimension Inference Under Polymorphic Recursion (MR), pp. 147–159.

FPCA-1995-Jones

Simplifying and Improving Qualified Types (MPJ), pp. 160–169.

FPCA-1995-CousotC #abstract interpretation #constraints #formal method #program analysis

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.

FPCA-1995-AikenF #dynamic typing #type inference #type system

Dynamic Typing and Subtype Inference (AA, MF), pp. 182–191.

FPCA-1995-HengleinR #ml #polymorphism #type inference

Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.

FPCA-1995-AdityaAS #semantics #strict

Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.

FPCA-1995-SchauserG #how #question #source code #strict

How Much Non-Strictness do Lenient Programs Require? (KES, SCG), pp. 216–225.

FPCA-1995-BlellochG #functional #parallel

Parallelism in Sequential Functional Languages (GEB, JG), pp. 226–237.

FPCA-1995-Jeuring #pattern matching

Polytypic Pattern Matching (JJ), pp. 238–248.

FPCA-1995-WallaceR #architecture #embedded #functional #programming

λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.

FPCA-1995-JeuringS #analysis #functional #problem #source code

Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.

FPCA-1995-Boquist #functional #interprocedural #lazy evaluation

Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.

FPCA-1995-Rojemo #compilation #haskell

Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.

FPCA-1995-GoncalvesA #performance #source code

Cache Performance of Fast-Allocating Programs (MJRG, AWA), pp. 293–305.

FPCA-1995-TakanoM #deforestation

Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.

FPCA-1995-LaunchburyS #recursion

Warm Fusion: Deriving Build-Cata’s from Recursive Definitions (JL, TS), pp. 314–323.

FPCA-1995-MeijerH #exponential

Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.