Proceedings of the 10th International Conference on Functional Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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
PolyAML: 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.