default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICFP 2005: Tallinn, Estonia
- Olivier Danvy, Benjamin C. Pierce:
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 - 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, Alex 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:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-29 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
