13. ICFP 2008: Victoria, BC, Canada

• Butler W. Lampson:
  Lazy and speculative execution in computer systems. 1-2
  

Session 1

• James Cheney:
  FLUX: functional updates for XML. 3-14
  
• Giuseppe Castagna, Kim Nguyen:
  Typed iterators for XML. 15-26
  

Session 2

• Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic:
  AURA: a programming language for authorization and audit. 27-38
  
• Nicolas Oury, Wouter Swierstra:
  The power of Pi. 39-50
  

Session 3

• Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann:
  Type checking with open type functions. 51-62
  
• Didier Rémy, Boris Yakobowski:
  From ML to ML^F: graphic type constraints with efficient type inference. 63-74
  

Session 4

• Louis-Julien Guillemette, Stefan Monnier:
  A type-preserving compiler in Haskell. 75-86
  
• Mark P. Jones:
  Experience report: playing the DSL card. 87-90
  
• Fritz Henglein:
  Generic discrimination: sorting and paritioning unshared data in linear time. 91-102
  

Session 5

• Laura Effinger-Dean, Matthew Kehrt, Dan Grossman:
  Transactional events for ML. 103-114
  
• Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel:
  Experience report: erlang in acoustic ray tracing. 115-118
  
• Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
  Implicitly-threaded parallelism in Manticore. 119-130
  
• Olivier Danvy:
  Defunctionalized interpreters for programming languages. 131-142
  

Session 6

• Adam Chlipala:
  Parametric higher-order abstract syntax for mechanized semantics. 143-156
  
• Amal Ahmed, Matthias Blume:
  Typed closure conversion preserves observational equivalence. 157-168
  

Session 7

• Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi:
  Write it recursively: a generic framework for optimal path queries. 169-178
  
• Michael D. Adams, R. Kent Dybvig:
  Efficient nondestructive equality checking for trees and graphs. 179-188
  

Session 8

• Ralf Hinze:
  Functional pearl: streams and unique fixed points. 189-200
  
• Sebastian Fischer, Herbert Kuchen:
  Data-flow testing of declarative programs. 201-212
  

Session 9

• Arthur Charguéraud, François Pottier:
  Functional translation of a calculus of capabilities. 213-224
  
• Lennart Augustsson, Howard Mansell, Ganesh Sittampalam:
  Paradise: a two-stage DSL embedded in Haskell. 225-228
  
• Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal:
  Ynot: dependent types for imperative programs. 229-240
  

Session 10

• Matthew Fluet, Mike Rainey, John H. Reppy:
  A scheduling framework for general-purpose parallel languages. 241-252
  
• Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons:
  Space profiling for parallel functional programs. 253-264
  
• Mark P. Jones:
  Polymorphism and page tables: systems programming from a functional programmer's perspective. 265-266
  

Session 11

• Alexander Krauss:
  Pattern minimization problems over recursive data types. 267-274
  
• David Van Horn, Harry G. Mairson:
  Deciding kCFA is complete for EXPTIME. 275-282
  

Session 12

• Daan Leijen:
  HMF: simple type inference for first-class polymorphism. 283-294
  
• Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones:
  FPH: first-class polymorphism for Haskell. 295-306
  

Session 13

• Derek Dreyer, Andreas Rossberg:
  Mixin' up the ML module system. 307-320
  
• Ruy Ley-Wild, Matthew Fluet, Umut A. Acar:
  Compiling self-adjusting programs with continuations. 321-334
  

Session 14

• Geoffrey Mainland, Greg Morrisett, Matt Welsh:
  Flask: staged functional programming for sensor networks. 335-346
  
• Ravi Nanavati:
  Experience report: a pure shirt fits. 347-352
  
• Sungwoo Park, Jinha Kim, Hyeonseung Im:
  Functional netlists. 353-366
  

Session 15

• Eelco Dolstra, Andres Löh:
  NixOS: a purely functional Linux distribution. 367-378
  
• David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace:
  Experience report: visualizing data through functional pipelines. 379-382
  
• J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce:
  Quotient lenses. 383-396
  

Programming contest

• Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
  Report on the tenth ICFP programming contest. 397-408
  

Last update Wed May 23 00:52:50 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page