Abstract is missing.
- Lazy and speculative execution in computer systemsButler W. Lampson. 1-2 [doi]
- FLUX: functional updates for XMLJames Cheney. 3-14 [doi]
- Typed iterators for XMLGiuseppe Castagna, Kim Nguyen. 15-26 [doi]
- AURA: a programming language for authorization and auditLimin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic. 27-38 [doi]
- The power of PiNicolas Oury, Wouter Swierstra. 39-50 [doi]
- Type checking with open type functionsTom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann. 51-62 [doi]
- From ML to ML:::F:::: graphic type constraints with efficient type inferenceDidier Rémy, Boris Yakobowski. 63-74 [doi]
- A type-preserving compiler in HaskellLouis-Julien Guillemette, Stefan Monnier. 75-86 [doi]
- Experience report: playing the DSL cardMark P. Jones. 87-90 [doi]
- Generic discrimination: sorting and paritioning unshared data in linear timeFritz Henglein. 91-102 [doi]
- Transactional events for MLLaura Effinger-Dean, Matthew Kehrt, Dan Grossman. 103-114 [doi]
- Experience report: erlang in acoustic ray tracingChristian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel. 115-118 [doi]
- Implicitly-threaded parallelism in ManticoreMatthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw. 119-130 [doi]
- Defunctionalized interpreters for programming languagesOlivier Danvy. 131-142 [doi]
- Parametric higher-order abstract syntax for mechanized semanticsAdam J. Chlipala. 143-156 [doi]
- Typed closure conversion preserves observational equivalenceAmal Ahmed, Matthias Blume. 157-168 [doi]
- Write it recursively: a generic framework for optimal path queriesAkimasa Morihata, Kiminori Matsuzaki, Masato Takeichi. 169-178 [doi]
- Efficient nondestructive equality checking for trees and graphsMichael D. Adams, R. Kent Dybvig. 179-188 [doi]
- Functional pearl: streams and unique fixed pointsRalf Hinze. 189-200 [doi]
- Data-flow testing of declarative programsSebastian Fischer, Herbert Kuchen. 201-212 [doi]
- Functional translation of a calculus of capabilitiesArthur Charguéraud, François Pottier. 213-224 [doi]
- Paradise: a two-stage DSL embedded in HaskellLennart Augustsson, Howard Mansell, Ganesh Sittampalam. 225-228 [doi]
- Ynot: dependent types for imperative programsAleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal. 229-240 [doi]
- A scheduling framework for general-purpose parallel languagesMatthew Fluet, Mike Rainey, John H. Reppy. 241-252 [doi]
- Space profiling for parallel functional programsDaniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons. 253-264 [doi]
- Polymorphism and page tables: systems programming from a functional programmer s perspectiveMark P. Jones. 265-266 [doi]
- Pattern minimization problems over recursive data typesAlexander Krauss. 267-274 [doi]
- Deciding ::::k::::CFA is complete for EXPTIMEDavid Van Horn, Harry G. Mairson. 275-282 [doi]
- HMF: simple type inference for first-class polymorphismDaan Leijen. 283-294 [doi]
- FPH: first-class polymorphism for HaskellDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones. 295-306 [doi]
- Mixin up the ML module systemDerek Dreyer, Andreas Rossberg. 307-320 [doi]
- Compiling self-adjusting programs with continuationsRuy Ley-Wild, Matthew Fluet, Umut A. Acar. 321-334 [doi]
- Flask: staged functional programming for sensor networksGeoffrey Mainland, Greg Morrisett, Matt Welsh. 335-346 [doi]
- Experience report: a pure shirt fitsRavi Nanavati. 347-352 [doi]
- Functional netlistsSungwoo Park, Jinha Kim, Hyeonseung Im. 353-366 [doi]
- NixOS: a purely functional Linux distributionEelco Dolstra, Andres Löh. 367-378 [doi]
- Experience report: visualizing data through functional pipelinesDavid J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace. 379-382 [doi]
- Quotient lensesJ. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce. 383-396 [doi]
- Report on the tenth ICFP programming contestEelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie. 397-408 [doi]