10. ICFP 2005: Tallinn, Estonia

Session 1

• François Pottier:
  From ML type inference to stratified type inference. 1
  
• Olin Shivers:
  The anatomy of a loop: a story of scope and control. 2-14
  

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
  
• Norman Ramsey, Kathleen Fisher, Paul Govereau:
  An expressive language of signatures. 27-40
  
• Derek Dreyer:
  Recursive type generativity. 41-53
  

Session 3

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

Session 4

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

Session 5

• Brendan Eich:
  JavaScript at ten years. 129
  
• Didier Rémy:
  Simple, partial type-inference for System F based on type-containment. 130-143
  

Session 6

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

Session 7

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

Session 8

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

Session 9

• Robert Harper:
  Mechanizing the meta-theory of programming languages. 240
  
• Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
  Associated type synonyms. 241-253
  

Session 10

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

Session 11

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