ICFP 2008

39 papers

1. A scheduling framework for general-purpose parallel languages · Matthew Fluet, Mike Rainey, John H. Reppy
2. A type-preserving compiler in Haskell · Louis-Julien Guillemette, Stefan Monnier
3. AURA: a programming language for authorization and audit · Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr + 1 more
4. Compiling self-adjusting programs with continuations · Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
5. Data-flow testing of declarative programs · Sebastian Fischer, Herbert Kuchen
6. Deciding kCFA is complete for EXPTIME · David Van Horn, Harry G. Mairson
7. Defunctionalized interpreters for programming languages · Olivier Danvy
8. Efficient nondestructive equality checking for trees and graphs · Michael D. Adams, R. Kent Dybvig
9. Experience report: a pure shirt fits · Ravi Nanavati
10. Experience report: erlang in acoustic ray tracing · Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel
11. Experience report: playing the DSL card · Mark P. Jones
12. Experience report: visualizing data through functional pipelines · David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace
13. FLUX: functional updates for XML · James Cheney
14. FPH: first-class polymorphism for Haskell · Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
15. Flask: staged functional programming for sensor networks · Geoffrey Mainland, Greg Morrisett, Matt Welsh
16. From ML to MLF: graphic type constraints with efficient type inference · Didier Rémy, Boris Yakobowski
17. Functional netlists · Sungwoo Park, Jinha Kim, Hyeonseung Im
18. Functional pearl: streams and unique fixed points · Ralf Hinze
19. Functional translation of a calculus of capabilities · Arthur Charguéraud, François Pottier
20. Generic discrimination: sorting and paritioning unshared data in linear time · Fritz Henglein
21. HMF: simple type inference for first-class polymorphism · Daan Leijen
22. Implicitly-threaded parallelism in Manticore · Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
23. Lazy and speculative execution in computer systems · Butler W. Lampson
24. Mixin' up the ML module system · Derek Dreyer, Andreas Rossberg
25. NixOS: a purely functional Linux distribution · Eelco Dolstra, Andres Löh
26. Paradise: a two-stage DSL embedded in Haskell · Lennart Augustsson, Howard Mansell, Ganesh Sittampalam
27. Parametric higher-order abstract syntax for mechanized semantics · Adam Chlipala
28. Pattern minimization problems over recursive data types · Alexander Krauss
29. Polymorphism and page tables: systems programming from a functional programmer's perspective · Mark P. Jones
30. Quotient lenses · J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce
31. Report on the tenth ICFP programming contest · Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh + 4 more
32. Space profiling for parallel functional programs · Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
33. The power of Pi · Nicolas Oury, Wouter Swierstra
34. Transactional events for ML · Laura Effinger-Dean, Matthew Kehrt, Dan Grossman
35. Type checking with open type functions · Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
36. Typed closure conversion preserves observational equivalence · Amal Ahmed, Matthias Blume
37. Typed iterators for XML · Giuseppe Castagna, Kim Nguyen
38. Write it recursively: a generic framework for optimal path queries · Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
39. Ynot: dependent types for imperative programs · Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal