ICFP 2007
34 papers
- A generic usage analysis with subeffect qualifiers
- A type directed translation of MLF to system F
- A type system for recursive modules
- Adding delimited and composable control to a production programming environment
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Call-pattern specialisation for haskell programs
- Compiling with continuations, continued
- Declarative programming for artificial intelligence applications
- Evaluating high-level distributed language constructs
- Experience report: a Haskell interpreter for cellML
- Experience report: building an eclipse-based IDE for Haskell
- Experience report: functional programming in c-rules
- Experience report: scheme in commercial web application development
- Experience report: the reactis validation tool
- Experience report: using functional programming to manage a linux distribution
- Extensible pattern matching via a lightweight language extension
- Faster laziness using dynamic pointer tagging
- Feedback directed implicit parallelism
- Functional pearl: the great escape or, how to jump the border without getting caught
- Implicit phasing for R6RS libraries
- Inductive reasoning about effectful data types
- Lazy call-by-value evaluation
- McErlang: a model checker for a distributed functional programming language
- On Barron and Strachey's cartesian product function
- Ott: effective tool support for the working semanticist
- Program-ing finger trees in Coq
- Relating complexity and precision in control flow analysis
- Stream fusion: from lists to streams to nothing at all
- Subtyping and intersection types revisited
- Tangible functional programming
- Termination analysis and call graph construction for higher-order functional programs
- Type-safe higher-order channels in ML-like languages
- User-friendly functional programming for web mashups
- iTasks: executable specifications of interactive work flow systems for the web