JFP 2010

19 papers

1. "Little language" project modules · John Clements, Kathi Fisler
2. A lightweight approach to datatype-generic rewriting · Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
3. Concrete stream calculus: An extended study · Ralf Hinze
4. Editorial · Jeremy Gibbons
5. Experience report: Functional programming in C-Rules · Jeremy Wazny
6. Factorising folds for faster functions · Graham Hutton, Mauro Jaskelioff, Andy Gill
7. Formal polytypic programs and proofs · Wendy Verbruggen, Edsko de Vries, Arthur Hughes
8. Generic programming with C++ concepts and Haskell type classes - a comparison · Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
9. Implicitly threaded parallelism in Manticore · Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
10. Lightweight checkpointing for concurrent ML · Lukasz Ziarek, Suresh Jagannathan
11. Linear type theory for asynchronous session types · Simon J. Gay, Vasco Thudichum Vasconcelos
12. NixOS: A purely functional Linux distribution · Eelco Dolstra, Andres Löh, Nicolas Pierron
13. Ott: Effective tool support for the working semanticist · Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar + 1 more
14. Parametricity, type equality, and higher-order polymorphism · Dimitrios Vytiniotis, Stephanie Weirich
15. Scala for generic programmers · Bruno C. d. S. Oliveira, Jeremy Gibbons
16. Space profiling for parallel functional programs · Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
17. Special Issue Dedicated to ICFP 2008 Editorial · Peter Thiemann, Henrik Nilsson
18. Special Issue on Generic Programming Editorial · Ralf Hinze
19. The arrow calculus · Sam Lindley, Philip Wadler, Jeremy Yallop