Colin Runciman, Olin Shivers
Proceedings of the Eighth International Conference on Functional Programming
ICFP, 2003.

@proceedings{ICFP-2003,
	address       = "Uppsala, Sweden",
	editor        = "Colin Runciman and Olin Shivers",
	isbn          = "1-58113-756-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth International Conference on Functional Programming}",
	year          = 2003,
}

Contents (27 items)

3 ×#named
2 ×#aspect-oriented
2 ×#functional

ICFP-2003-Knight #functional #quantum

Conservation of information: applications in functional, reversible, and quantum computing (TKJ), p. 1.

ICFP-2003-HeerenHS #process #type inference

Scripting the type inference process (BH, JH, SDS), pp. 3–13.

ICFP-2003-NeubauerT #fault

Discriminative sum types locate the source of type errors (MN, PT), pp. 15–26.

ICFP-2003-BotlanR #ml #named #power of #system f

ML^F: raising ML to the power of system F (DLB, DR), pp. 27–38.

ICFP-2003-Simonet #bound #data type

An extension of HM(X) with bounded existential and universal data-types (VS), pp. 39–50.

ICFP-2003-BenzakenCF #named #xml

CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.

ICFP-2003-Levin #compilation

Compiling regular patterns (MYL), pp. 65–77.

ICFP-2003-Page

Software is discrete mathematics (RLP), pp. 79–86.

ICFP-2003-LeiferPSW

Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.

ICFP-2003-BiermanHSSW #question

Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.

ICFP-2003-OgawaHS #program analysis

Iterative-free program analysis (MO, ZH, IS), pp. 111–123.

ICFP-2003-Mairson #analysis #game studies #semantics

From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis (HGM), p. 125.

ICFP-2003-WalkerZL #aspect-oriented #formal method

A theory of aspects (DW, SZ, JL), pp. 127–139.

ICFP-2003-LohCJ #haskell

Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.

ICFP-2003-Nilsson #automation #difference #functional

Functional automatic differentiation with dirac impulses (HN), pp. 153–164.

ICFP-2003-JonesBB #approach

A user-centred approach to functions in Excel (SLPJ, AFB, MMB), pp. 165–176.

ICFP-2003-KameyamaH #axiom #continuation

A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.

ICFP-2003-Wadler #call-by

Call-by-value is dual to call-by-name (PW), pp. 189–201.

ICFP-2003-BeffaraD #exception #normalisation

Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.

ICFP-2003-MandelbaumWH #effectiveness

An effective theory of type refinements (YM, DW, RH), pp. 213–225.

ICFP-2003-HiguchiO #data access #static typing #type system #virtual machine

A static type system for JVM access control (TH, AO), pp. 227–237.

ICFP-2003-HughesS #parsing

Polish parsers, step by step (RJMH, SDS), pp. 239–248.

ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.

ICFP-2003-ShinwellPG #named #programming

FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.

ICFP-2003-ChenX #metaprogramming #representation

Meta-programming through typeful code representation (CC, HX), pp. 275–286.

ICFP-2003-EnnalsJ #adaptation #evaluation #source code #strict

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs (RE, SLPJ), pp. 287–298.

ICFP-2003-Wand #aspect-oriented #comprehension

Understanding aspects: extended abstract (MW), pp. 299–300.