default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICFP 2008: Victoria, BC, Canada
- James Hook, Peter Thiemann:
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. ACM 2008, ISBN 978-1-59593-919-7 - 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 MLF: 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
