10. ICFP 2005: Tallinn, Estonia

Olivier Danvy, Benjamin C. Pierce (Eds.): Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-064-7 BibTeX

Session 1

François Pottier:
From ML type inference to stratified type inference. 1
Electronic Edition (ACM DL) BibTeX
Olin Shivers:
The anatomy of a loop: a story of scope and control. 2-14
Electronic Edition (ACM DL) BibTeX

Session 2

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis:
Acute: high-level programming language design for distributed computation. 15-26
Electronic Edition (ACM DL) BibTeX
Norman Ramsey, Kathleen Fisher, Paul Govereau:
An expressive language of signatures. 27-40
Electronic Edition (ACM DL) BibTeX
Derek Dreyer:
Recursive type generativity. 41-53
Electronic Edition (ACM DL) BibTeX

Session 3

Henrik Nilsson:
Dynamic optimization for functional reactive programming using generalized algebraic data types. 54-65
Electronic Edition (ACM DL) BibTeX
Chiyan Chen, Hongwei Xi:
Combining programming with theorem proving. 66-77
Electronic Edition (ACM DL) BibTeX
Amal J. Ahmed, Matthew Fluet, Greg Morrisett:
A step-indexed model of substructural state. 78-91
Electronic Edition (ACM DL) BibTeX

Session 4

Michael F. Ringenburg, Dan Grossman:
AtomCaml: first-class atomicity via rollback. 92-104
Electronic Edition (ACM DL) BibTeX
Tachio Terauchi, Alexander Aiken:
Witnessing side-effects. 105-115
Electronic Edition (ACM DL) BibTeX
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach:
A principled approach to operating system construction in Haskell. 116-128
Electronic Edition (ACM DL) BibTeX

Session 5

Brendan Eich:
JavaScript at ten years. 129
Electronic Edition (ACM DL) BibTeX
Didier Rémy:
Simple, partial type-inference for System F based on type-containment. 130-143
Electronic Edition (ACM DL) BibTeX

Session 6

Daan Leijen, Andres Löh:
Qualified types for MLF. 144-155
Electronic Edition (ACM DL) BibTeX
Henning Makholm, J. B. Wells:
Type inference, principal typings, and let-polymorphism for first-class mixin modules. 156-167
Electronic Edition (ACM DL) BibTeX
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie:
High-level views on low-level representations. 168-179
Electronic Edition (ACM DL) BibTeX

Session 7

James Cheney:
Scrap your nameplate: (functional pearl). 180-191
Electronic Edition (ACM DL) BibTeX
Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry:
Backtracking, interleaving, and terminating monad transformers: (functional pearl). 192-203
Electronic Edition (ACM DL) BibTeX
Ralf Lämmel, Simon L. Peyton Jones:
Scrap your boilerplate with class: extensible generic functions. 204-215
Electronic Edition (ACM DL) BibTeX

Session 8

Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen:
Continuations from generalized stack inspection. 216-227
Electronic Edition (ACM DL) BibTeX
J. Guadalupe Ramos, Josep Silva, Germán Vidal:
Fast narrowing-driven partial evaluation for inductively sequential programs. 228-239
Electronic Edition (ACM DL) BibTeX

Session 9

Robert Harper:
Mechanizing the meta-theory of programming languages. 240
Electronic Edition (ACM DL) BibTeX
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
Associated type synonyms. 241-253
Electronic Edition (ACM DL) BibTeX

Session 10

Xinyu Feng, Zhong Shao:
Modular verification of concurrent assembly code with dynamic thread creation and termination. 254-267
Electronic Edition (ACM DL) BibTeX
Edwin M. Westbrook, Aaron Stump, Ian Wehrman:
A language-based approach to functionally correct imperative programming. 268-279
Electronic Edition (ACM DL) BibTeX
Martin Berger, Kohei Honda, Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions. 280-293
Electronic Edition (ACM DL) BibTeX

Session 11

Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene:
Monadic augment and generalised short cut fusion. 294-305
Electronic Edition (ACM DL) BibTeX
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich:
Poly_AML: a polymorphic aspect-oriented functional programming language. 306-319
Electronic Edition (ACM DL) BibTeX
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa:
Aspectual Caml: an aspect-oriented functional language. 320-330
Electronic Edition (ACM DL) BibTeX