Simon L. Peyton Jones, Mads Tofte, A. Michael Berman
Proceedings of the Second International Conference on Functional Programming
ICFP, 1997.

@proceedings{ICFP-1997,
	address       = "Amsterdam, The Netherlands",
	editor        = "Simon L. Peyton Jones and Mads Tofte and A. Michael Berman",
	isbn          = "0-89791-918-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second International Conference on Functional Programming}",
	volume        = "SIGPLAN Notices 32(8), August 1997",
	year          = 1997,
}

Contents (42 items)

11 ×#functional
6 ×#analysis
6 ×#programming
3 ×#graph
3 ×#type system
2 ×#approach
2 ×#composition
2 ×#distributed
2 ×#erlang
2 ×#higher-order

ICFP-1997-Banerjee #analysis #composition #type system

A Modular, Polyvariant, and Type-Based Closure Analysis (AB), pp. 1–10.

ICFP-1997-DimockMTW #representation

Strongly Typed Flow-Directed Representation Transformations (AD, RM, FAT, JBW), pp. 11–24.

ICFP-1997-BellBH

Type-Driven Defunctionalization (JMB, FB, JH), pp. 25–37.

ICFP-1997-GasserNN #analysis #control flow

Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.

ICFP-1997-Erwig #functional #graph #programming

Functional Programming with Graphs (ME), pp. 52–65.

ICFP-1997-Okasaki

Catenable Double-Ended Queues (CO), pp. 66–74.

ICFP-1997-FahndrichB #abstraction

Statically Checkable Pattern Abstractions (MF, JB), pp. 75–84.

ICFP-1997-Shao #analysis #flexibility #representation

Flexible Representation Analysis (ZS), pp. 85–98.

ICFP-1997-Ashley #analysis #effectiveness

The Effectiveness of Flow Analysis for Inlining (JMA), pp. 99–111.

ICFP-1997-BlumeA #approach #higher-order #named #optimisation

λ-Splitting: A Higher-Order Approach to Cross-Module Optimizations (MB, AWA), pp. 112–124.

ICFP-1997-Crary #higher-order #implementation #type system

Foundations for the Implementation of Higher-Order Subtyping (KC), pp. 125–135.

ICFP-1997-MarlowW #erlang #type system

A Practical Subtyping System For Erlang (SM, PW), pp. 136–149.

ICFP-1997-HeintzeM #analysis #complexity #on the

On the Complexity of Set-Based Analysis (NH, DAM), pp. 150–163.

ICFP-1997-HuITT #multi #traversal

Tupling Calculation Eliminates Multiple Data Traversals (ZH, HI, MT, AT), pp. 164–175.

ICFP-1997-ChinH #bound

A Bounds Inference Method for Vector-Based Memoisation (WNC, MH), pp. 176–187.

ICFP-1997-LawallM #graph #on the #reduction

On Global Dynamics of Optimal Graph Reduction (JLL, HGM), pp. 188–195.

ICFP-1997-Armstrong #development #erlang

The Development of Erlang (JLA), pp. 196–203.

ICFP-1997-DussartHT #imperative

Type Specialization for Imperative Languages (DD, JH, PT), pp. 204–216.

ICFP-1997-Kagawa #composition #functional #programming

Compositional References for Stateful Functional Programming (KK), pp. 217–226.

ICFP-1997-LaunchburyS #axiom #monad #type safety

Monadic State: Axiomatization and Type Safety (JL, AS), pp. 227–238.

ICFP-1997-Draves #implementation

Implementing Bit-addressing with Specialization (SD), pp. 239–250.

ICFP-1997-ClaessenVM #paradigm #visual notation

Structuring Graphical Paradigms in TkGofer (KC, TV, EM), pp. 251–262.

ICFP-1997-ElliottH #animation #functional

Functional Reactive Animation (CE, PH), pp. 263–273.

ICFP-1997-Shivers #automation #operating system

Automatic Management of Operating System Resources (OS), pp. 274–279.

ICFP-1997-UngureanuG #distributed #formal method #memory management #modelling

Formal Models of Distributed Memory Management (CU, BG), pp. 280–291.

ICFP-1997-HicksMN #garbage collection

The Measured Cost of Copying Garbage Collection Mechanisms (MWH, JTM, SN), pp. 292–305.

ICFP-1997-AertsV #functional #user interface

A GUI on Top of a Functional Language (KA, KDV), p. 308.

ICFP-1997-Claessen #compilation #graph

Graphs in Compilation (KC), p. 309.

ICFP-1997-CookL

Disposable Memo Functions (BC, JL), p. 310.

ICFP-1997-Dornan

Affordable Dynamic Types (CD), p. 311.

ICFP-1997-Duris #attribute grammar #deforestation #functional #programming

Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.

ICFP-1997-KrasnogorLMP #functional #programming

Protien Folding meets Functional Programming (NK, PEML, PM, DAP), p. 313.

ICFP-1997-KrasnogorLMP97a #modelling #string

Modelling String Folding with G2L Grammars (NK, PEML, PM, DAP), p. 314.

ICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #functional #metaprogramming #optimisation

A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.

ICFP-1997-McAdam #ml

BigTypes in ML (BJM), p. 316.

ICFP-1997-Pareja-FloresV #constraints #synthesis

Synthesis of Functions by Transformations and Constraints (CPF, JÁVI), p. 317.

ICFP-1997-RichardST #set #using

Intensional Sets Using Explicit Substitutions (GR, FS, ATA), p. 318.

ICFP-1997-SabelfeldS #analysis #functional #problem #semantics #source code

Simple Semantic Analysis Problems for Functional Programs (VKS, AS), p. 319.

ICFP-1997-SpiliopoulouHD #approach #distributed #functional #programming

Distributed Programming, a Purely Functional Approach (ES, IH, ND), p. 320.

ICFP-1997-TahaS #multi #programming

Multi-Stage Programming (WT, TS), p. 321.

ICFP-1997-Wailly #data flow #functional #named #parallel

λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.

ICFP-1997-Ostvold #functional #induction #recursion #source code #synthesis

Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.