Robert Harper, Richard L. Wexelblat
Proceedings of the First International Conference on Functional Programming
ICFP, 1996.

@proceedings{ICFP-1996,
	address       = "Philadelphia, Pennsylvania, USA",
	editor        = "Robert Harper and Richard L. Wexelblat",
	isbn          = "0-89791-770-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First International Conference on Functional Programming}",
	volume        = "SIGPLAN Notices 31(6), June 1996",
	year          = 1996,
}

Contents (25 items)

2 ×#analysis
2 ×#data type
2 ×#formal method
2 ×#functional
2 ×#implementation
2 ×#named
2 ×#performance
2 ×#type system
2 ×#λ-calculus

ICFP-1996-JonesPS #float #named #performance #source code

Let-floating: Moving Bindings to Give Faster Programs (SLPJ, WP, AS), pp. 1–12.

ICFP-1996-SabryW #call-by

A Reflection on Call-by-Value (AS, PW), pp. 13–24.

ICFP-1996-HardinMP #calculus #functional

Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.

ICFP-1996-RojemoR #compilation #profiling #revisited

Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.

ICFP-1996-WiseW #clustering #pointer #thread

Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.

ICFP-1996-SerranoF #analysis

Storage Use Analysis and its Applications (MS, MF), pp. 50–61.

ICFP-1996-Okasaki #data type #evaluation #lazy evaluation

The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.

ICFP-1996-HuIT #morphism #recursion

Deriving Structural Hylomorphisms From Recursive Definitions (ZH, HI, MT), pp. 73–82.

ICFP-1996-AbadiLL #analysis #dependence

Analysis and Caching of Dependencies (MA, BWL, JJL), pp. 83–91.

ICFP-1996-LawallM #cost analysis #question #what #λ-calculus

Optimality and Inefficiency: What Isn’t a Cost Model of the λ Calculus? (JLL, HGM), pp. 92–101.

ICFP-1996-Howard #induction

Inductive, Coinductive, and Pointed Types (BTH), pp. 102–109.

ICFP-1996-GostanzaPN #data type #pattern matching

A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.

ICFP-1996-Pottier #constraints #type system

Simplifying Subtyping Constraints (FP), pp. 122–133.

ICFP-1996-Ghelli #complexity #kernel #type checking #type system

Complexity of Kernel Fun Subtype Checking (GG), pp. 134–145.

ICFP-1996-Moreau #semantics

The Semantics of Scheme with Future (LM), pp. 146–156.

ICFP-1996-Turbak

First-Class Synchronization Barriers (FAT), pp. 157–168.

ICFP-1996-FlanaganN #design #functional #implementation #named #parallel

pHluid: The Design of a Parallel Functional Language Implementation on Workstations (CF, RSN), pp. 169–179.

ICFP-1996-Thiemann

Cogen in Six Lines (PT), pp. 180–189.

ICFP-1996-ChuangH #approach #automation #data transformation #probability #problem

A Probabilistic Approach to the Problem of Automatic Selection of Data Representations (TRC, WLH), pp. 190–200.

ICFP-1996-FerreiraHJ #bisimulation #formal method

A Theory of Weak Bisimulation for Core CML (WF, MH, AJ), pp. 201–212.

ICFP-1996-BlellochG #implementation #performance

A Provable Time and Space Efficient Implementation of NESL (GEB, JG), pp. 213–225.

ICFP-1996-CaspiP #network

Synchronous Kahn Networks (PC, MP), pp. 226–238.

ICFP-1996-LeeF #formal method #incremental #towards #λ-calculus

Enriching the λ Calculus with Contexts: Toward a Theory of Incremental Program Construction (SDL, DPF), pp. 239–250.

ICFP-1996-QueinnecR

Sharing Code through First-class Environments (CQ, DDR), pp. 251–261.

ICFP-1996-DugganS #mixin

Mixin Modules (DD, CS), pp. 262–273.