START Conference Manager    

ICFP 2008: Accepted Submissions

A scheduling framework for general-purpose parallel languages
  Matthew Fluet, Michael Rainey and John Reppy
A Type-Preserving Compiler in Haskell
  Louis-Julien Guillemette and Stefan Monnier
Aura: A programming language for authorization and audit
  Limin Jia, Jeffrey Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr and Steve Zdancewic
Compiling Self-Adjusting Programs with Continuations
  Ruy Ley-Wild, Matthew Fluet and Umut Acar
Data-Flow Testing of Declarative Programs
  Sebastian Fischer and Herbert Kuchen
Deciding kCFA is complete for EXPTIME
  David Van Horn and Harry Mairson
Efficient nondestructive equality checking for trees and graphs
  Michael D. Adams and R. Kent Dybvig
Experience Report: A Pure Shirt Fits Reflections on Haskell at Bluespec
  Ravi Nanavati
Experience Report: Erlang in Acoustic Ray Tracing
  Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell and Lutz Hamel
Experience Report: Paradise: A two-stage DSL embedded in Haskell
  Lennart Augustsson, Howard Mansell and Ganesh Sittampalam
Experience Report: Playing the DSL Card, A Domain Specific Language for Component Configuration
  Mark Jones
Experience Report: Visualizing Data through Functional Pipelines
  David Duke, Rita Borgo, Colin Runciman and Malcolm Wallace
Flask: Have Your Curry and Eat It Too
  Geoffrey Mainland, Greg Morrisett and Matt Welsh
Flux: FunctionaL Updates for XML
  James Cheney
FPH: First-class Polymorphism for Haskell
  Dimitrios Vytiniotis, Stephanie Weirich and Simon Peyton Jones
Functional Netlists
  Sungwoo Park, Jinha Kim and Hyeonseung Im
Functional Pearl: Streams and Unique Fixed Points
  Ralf Hinze
Functional Translation of a Calculus of Capabilities
  Arthur Charguéraud and François Pottier
Generic Discrimination---Sorting and Partitioning Unshared Data in Linear Time
  Fritz Henglein
Graphic Type Constraints and Efficient Type Inference : from ML to MLF
  Boris Yakobowski and Didier Remy
HMF: Simple type inference for first-class polymorphism
  Daan Leijen
Implicitly-threaded parallelism in Manticore
  Matthew Fluet, Mike Rainey, John Reppy and Adam Shaw
Mixin' Up the ML Module System
  Derek Dreyer and Andreas Rossberg
NixOS: A Purely Functional Linux Distribution
  Eelco Dolstra and Andres Löh
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
  Adam Chlipala
Pattern Minimization Problems over Recursive Data Types
  Alexander Krauss
Quotient Lenses
  J. Nathan Foster, Alexandre Pilkiewicz and Benjamin C. Pierce
Report on the Tenth ICFP Programming Contest
  Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Loeh, Clara Loeh, Arie Middelkoop, Alexey Rodriguez and John van Schie
Space Profiling for Parallel Functional Programs
  Daniel Spoonhower, Guy E. Blelloch, Robert Harper and Phillip B. Gibbons
The Power of Pi
  Nicolas Oury and Wouter Swierstra
Transactional Events for ML
  Laura Effinger-Dean, Matthew Kehrt and Dan Grossman
Type Checking with Open Type Functions
  Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty and Martin Sulzmann
Typed Closure Conversion Preserves Observational Equivalence
  Amal Ahmed and Matthias Blume
Typed Iterators for XML
  Giuseppe Castagna and Kim Nguyễn
Write it Recursively: A Generic Framework for Optimal Path Queries
  Akimasa Morihata, Kiminori Matsuzaki and Masato Takeichi
Ynot: Reasoning with the Awkward Squad
  Aleksandar Nanevski, Greg Morrisett, Avi Shinnar, Paul Govereau and Lars Birkedal

START Conference Manager (V2.54.6)