ICFP 2005
29 papers
- A language-based approach to functionally correct imperative programming
- A logical analysis of aliasing in imperative higher-order functions
- A principled approach to operating system construction in Haskell
- A step-indexed model of substructural state
- Acute: high-level programming language design for distributed computation
- An expressive language of signatures
- Aspectual Caml: an aspect-oriented functional language
- Associated type synonyms
- AtomCaml: first-class atomicity via rollback
- Backtracking, interleaving, and terminating monad transformers: (functional pearl)
- Combining programming with theorem proving
- Continuations from generalized stack inspection
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Fast narrowing-driven partial evaluation for inductively sequential programs
- From ML type inference to stratified type inference
- High-level views on low-level representations
- JavaScript at ten years
- Mechanizing the meta-theory of programming languages
- Modular verification of concurrent assembly code with dynamic thread creation and termination
- Monadic augment and generalised short cut fusion
- PolyAML: a polymorphic aspect-oriented functional programming language
- Qualified types for MLF
- Recursive type generativity
- Scrap your boilerplate with class: extensible generic functions
- Scrap your nameplate: (functional pearl)
- Simple, partial type-inference for System F based on type-containment
- The anatomy of a loop: a story of scope and control
- Type inference, principal typings, and let-polymorphism for first-class mixin modules
- Witnessing side-effects