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
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
- Derek Dreyer: Recursive type generativity. 41-53
Session 3
- Henrik Nilsson: Dynamic optimization for functional reactive programming using generalized algebraic data types. 54-65
Session 4
- 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
- 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
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: PolyAML: a polymorphic aspect-oriented functional programming language. 306-319
- Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa: Aspectual Caml: an aspect-oriented functional language. 320-330
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team