Olivier Danvy, Benjamin C. Pierce
Proceedings of the 10th International Conference on Functional Programming
ICFP, 2005.

@proceedings{ICFP-2005,
	address       = "Tallinn, Estonia",
	editor        = "Olivier Danvy and Benjamin C. Pierce",
	isbn          = "1-59593-064-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th International Conference on Functional Programming}",
	year          = 2005,
}

Contents (29 items)

5 ×#functional
3 ×#named
3 ×#programming
3 ×#programming language
2 ×#approach
2 ×#aspect-oriented
2 ×#imperative
2 ×#ml
2 ×#monad
2 ×#type inference

ICFP-2005-Pottier #ml #type inference

From ML type inference to stratified type inference (FP), p. 1.

ICFP-2005-Shivers

The anatomy of a loop: a story of scope and control (OS), pp. 2–14.

ICFP-2005-SewellLWNAHV #design #distributed #named #programming language

Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.

ICFP-2005-RamseyFG

An expressive language of signatures (NR, KF, PG), pp. 27–40.

ICFP-2005-Dreyer #recursion

Recursive type generativity (DD), pp. 41–53.

ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using

Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.

ICFP-2005-ChenX #programming #proving #theorem proving

Combining programming with theorem proving (CC, HX), pp. 66–77.

ICFP-2005-AhmedFM

A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.

ICFP-2005-RingenburgG #named

AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.

ICFP-2005-TerauchiA

Witnessing side-effects (TT, AA), pp. 105–115.

ICFP-2005-HallgrenJLT #approach #haskell #operating system

A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.

ICFP-2005-Eich #javascript

JavaScript at ten years (BE), p. 129.

ICFP-2005-Remy #system f

Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.

ICFP-2005-LeijenL

Qualified types for MLF (DL, AL), pp. 144–155.

ICFP-2005-MakholmW #mixin #morphism #type inference

Type inference, principal typings, and let-polymorphism for first-class mixin modules (HM, JBW), pp. 156–167.

ICFP-2005-DiatchkiJL #low level

High-level views on low-level representations (ISD, MPJ, RL), pp. 168–179.

ICFP-2005-Cheney

Scrap your nameplate: (JC), pp. 180–191.

ICFP-2005-KiselyovSFS #backtracking #monad

Backtracking, interleaving, and terminating monad transformers: (OK, CcS, DPF, AS), pp. 192–203.

ICFP-2005-LammelJ #scrap your boilerplate

Scrap your boilerplate with class: extensible generic functions (RL, SLPJ), pp. 204–215.

ICFP-2005-PettyjohnCMKF #continuation #stack

Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.

ICFP-2005-RamosSV #partial evaluation #performance #source code

Fast narrowing-driven partial evaluation for inductively sequential programs (JGR, JS, GV), pp. 228–239.

ICFP-2005-Harper #programming language

Mechanizing the meta-theory of programming languages (RH), p. 240.

ICFP-2005-ChakravartyKJ

Associated type synonyms (MMTC, GK, SLPJ), pp. 241–253.

ICFP-2005-FengS #assembly #composition #concurrent #termination #thread #verification

Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.

ICFP-2005-WestbrookSW #approach #imperative #programming

A language-based approach to functionally correct imperative programming (EMW, AS, IW), pp. 268–279.

ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic

A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.

ICFP-2005-GhaniJUV #monad

Monadic augment and generalised short cut fusion (NG, PJ, TU, VV), pp. 294–305.

ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language

Poly_AML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.

ICFP-2005-MasuharaTY #aspect-oriented #functional #ml

Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.