James Hook, Peter Thiemann
Proceedings of the 13th International Conference on Functional Programming
ICFP, 2008.

@proceedings{ICFP-2008,
	address       = "Victoria, British Columbia, Canada",
	editor        = "James Hook and Peter Thiemann",
	isbn          = "978-1-59593-919-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 13th International Conference on Functional Programming}",
	year          = 2008,
}

Contents (39 items)

9 ×#functional
8 ×#named
4 ×#case study
4 ×#experience
4 ×#source code
3 ×#haskell
3 ×#ml
3 ×#morphism
3 ×#parallel
3 ×#polymorphism

ICFP-2008-Lampson #execution #lazy evaluation

Lazy and speculative execution in computer systems (BWL), pp. 1–2.

ICFP-2008-Cheney #functional #named #xml

FLUX: functional updates for XML (JC), pp. 3–14.

ICFP-2008-CastagnaN #xml

Typed iterators for XML (GC, KN), pp. 15–26.

ICFP-2008-JiaVMZZSZ #named #programming language

AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.

ICFP-2008-OuryS #power of

The power of Pi (NO, WS), pp. 39–50.

ICFP-2008-SchrijversJCS #type checking

Type checking with open type functions (TS, SLPJ, MMTC, MS), pp. 51–62.

ICFP-2008-RemyY #constraints #ml #performance #type inference

From ML to ML^F: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.

ICFP-2008-GuillemetteM #compilation #haskell

A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.

ICFP-2008-Jones #case study #domain-specific language #experience #game studies

Experience report: playing the DSL card (MPJ), pp. 87–90.

ICFP-2008-Henglein #linear #sorting

Generic discrimination: sorting and paritioning unshared data in linear time (FH), pp. 91–102.

ICFP-2008-Effinger-DeanKG #ml #transaction

Transactional events for ML (LED, MK, DG), pp. 103–114.

ICFP-2008-ConveyFGMH #case study #erlang #experience

Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.

ICFP-2008-FluetRRS #parallel #thread

Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.

ICFP-2008-Danvy #programming language

Defunctionalized interpreters for programming languages (OD), pp. 131–142.

ICFP-2008-Chlipala #higher-order #parametricity #semantics #syntax

Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.

ICFP-2008-AhmedB #equivalence

Typed closure conversion preserves observational equivalence (AA, MB), pp. 157–168.

ICFP-2008-MorihataMT #framework #query #recursion

Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.

ICFP-2008-AdamsD #graph #performance #similarity

Efficient nondestructive equality checking for trees and graphs (MDA, RKD), pp. 179–188.

ICFP-2008-Hinze #fixpoint #functional

Functional pearl: streams and unique fixed points (RH), pp. 189–200.

ICFP-2008-FischerK #data flow #declarative #source code #testing

Data-flow testing of declarative programs (SF, HK), pp. 201–212.

ICFP-2008-ChargueraudP #calculus #functional

Functional translation of a calculus of capabilities (AC, FP), pp. 213–224.

ICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named

Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.

ICFP-2008-NanevskiMSGB #dependent type #imperative #named #source code

Ynot: dependent types for imperative programs (AN, GM, AS, PG, LB), pp. 229–240.

ICFP-2008-FluetRR #framework #parallel #scheduling

A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.

ICFP-2008-SpoonhowerBHG #functional #parallel #profiling #source code

Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.

ICFP-2008-Jones08a #functional #morphism #perspective #polymorphism #programming

Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.

ICFP-2008-Krauss #data type #problem #recursion

Pattern minimization problems over recursive data types (AK), pp. 267–274.

ICFP-2008-HornM

Deciding kCFA is complete for EXPTIME (DVH, HGM), pp. 275–282.

ICFP-2008-Leijen #morphism #named #polymorphism #type inference

HMF: simple type inference for first-class polymorphism (DL), pp. 283–294.

ICFP-2008-VytiniotisWJ #haskell #morphism #named #polymorphism

FPH: first-class polymorphism for Haskell (DV, SW, SLPJ), pp. 295–306.

ICFP-2008-DreyerR #mixin #ml

Mixin’ up the ML module system (DD, AR), pp. 307–320.

ICFP-2008-Ley-WildFA #compilation #continuation #self #source code

Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.

ICFP-2008-MainlandMW #functional #named #network #programming #staged

Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.

ICFP-2008-Nanavati #case study #experience

Experience report: a pure shirt fits (RN), pp. 347–352.

ICFP-2008-ParkKI #functional

Functional netlists (SP, JK, HI), pp. 353–366.

ICFP-2008-DolstraL #functional #linux #named

NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.

ICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation

Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.

ICFP-2008-FosterPP #lens

Quotient lenses (JNF, AP, BCP), pp. 383–396.

ICFP-2008-DolstraHHHJLLMRS #contest #programming

Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.