JFP 2008

23 papers

1. A pattern for almost compositional functions · Björn Bringert, Aarne Ranta
2. A type system with usage aspects · David Aspinall, Martin Hofmann, Michal Konecný
3. Algebraic fusion of functions with an accumulating parameter and its improvement · Shin-ya Katsumata, Susumu Nishimura
4. An operational semantics for Scheme · Jacob Matthews, Robert Bruce Findler
5. Applicative programming with effects · Conor McBride, Ross Paterson
6. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism · Geoffrey Washburn, Stephanie Weirich
7. Building language towers with Ziggurat · David Fisher, Olin Shivers
8. Caml trading - experiences with functional programming on Wall Street · Yaron Minsky, Stephen Weeks
9. Control reduction theories: the benefit of structural substitution · Zena M. Ariola, Hugo Herbelin
10. Data types à la carte · Wouter Swierstra
11. Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction · Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough
12. Editorial · Julia Lawall
13. Efficient execution in an automated reasoning environment · David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina + 3 more
14. Exploiting reachability and cardinality in higher-order flow analysis · Matthew Might, Olin Shivers
15. HM(X) type inference is CLP(X) solving · Martin Sulzmann, Peter J. Stuckey
16. Hoare type theory, polymorphism and separation · Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal
17. Lightweight family polymorphism · Chieri Saito, Atsushi Igarashi, Mirko Viroli
18. Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X · Gergely Buday
19. Modular development of certified program verifiers with a proof assistant, · Adam Chlipala
20. Safety of Nöcker's strictness analysis · Manfred Schmidt-Schauß, David Sabel, Marko Schütz
21. Transactional events · Kevin Donnelly, Matthew Fluet
22. Translation of tree-processing programs into stream-processing programs based on ordered linear type · Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
23. Types and trace effects of higher order programs · Christian Skalka, Scott F. Smith, David Van Horn