Chris Clack, Kevin Hammond, Antony J. T. Davie
Selected Papers of the Ninth International Workshop on Implementation of Functional Languages
IFL, 1997.

@proceedings{IFL-1997,
	address       = "St. Andrews, Scotland, United Kingdom",
	editor        = "Chris Clack and Kevin Hammond and Antony J. T. Davie",
	isbn          = "3-540-64849-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected Papers of the Ninth International Workshop on Implementation of Functional Languages}",
	volume        = 1467,
	year          = 1997,
}

Contents (21 items)

6 ×#functional
4 ×#named
3 ×#haskell
2 ×#compilation
2 ×#concurrent
2 ×#lazy evaluation
2 ×#parallel
2 ×#scalability
2 ×#using

IFL-1997-JonesNO #assembly #named

C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.

IFL-1997-HolyerS

The Brisk Machine: A Simplified STG Machine (IH, ES), pp. 20–38.

IFL-1997-Wakeling #compilation #haskell #java #virtual machine

A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.

IFL-1997-Chitil #functional #lazy evaluation

Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.

IFL-1997-Scholz #array

WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.

IFL-1997-Agat

Types for Register Allocation (JA), pp. 92–111.

IFL-1997-Mogensen

Types for 0, 1 or Many Uses (TÆM), pp. 112–122.

IFL-1997-Erwig #graph #persistent #question

Fully Persistent Graphs — Which One To Choose? (ME), pp. 123–140.

IFL-1997-MossR #benchmark #data type #functional #metric #named

Auburn: A Kit for Benchmarking Functional Data Structures (GEM, CR), pp. 141–159.

IFL-1997-SparudR #functional

Complete and Partial Redex Trails of Functional Computations (JS, CR), pp. 160–177.

IFL-1997-LoidlT #functional #parallel #scalability #source code

Engineering Large Parallel Functional Programs (HWL, PWT), pp. 178–197.

IFL-1997-LoidlMTPCJG #functional #scalability

Parallelising a Large Functional Program or: Keeping LOLITA Busy (HWL, RGM, PWT, SP, CC, SLPJ, RG), pp. 198–213.

IFL-1997-JunaiduDH #compilation #haskell #named

Naira: A Parallel² Haskell Compiler (SBJ, AJTD, KH), pp. 214–230.

IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread

Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.

IFL-1997-BreitingerKLOP #automaton #distributed #named

DREAM: The DistRibuted Eden Abstract Machine (SB, UK, RL, YOM, RP), pp. 250–269.

IFL-1997-Serrarens #multi #optimisation #using

Using Multicasting for Optimising Data-Parallelism (PRS), pp. 270–284.

IFL-1997-KarlsenW #concurrent #haskell #repository #using

Using Concurrent Haskell to Develop Views over an Active Repository (EWK, SW), pp. 285–303.

IFL-1997-AchtenP #functional #interactive

Interactive Functional Objects in Clean (PA, MJP), pp. 304–321.

IFL-1997-DidrichGMP #algebra #in the large #programming

Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.

IFL-1997-Mohnen

Context Patterns, Part II (MM), pp. 338–357.

IFL-1997-BoortzS #garbage collection

A Compacting Garbage Collector for Unidirectional Heaps (KB, DS), p. 358–?.