The Journal of Functional Programming, Volume 18

Volume 18, Number 1, January 2008

• Conor McBride, Ross Paterson:
  Applicative programming with effects. 1-13
  Electronic Edition (link) BibTeX
• David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, R. O. B. Sumners, Daron Vroon, Matthew Wilding:
  Efficient execution in an automated reasoning environment. 15-46
  Electronic Edition (link) BibTeX
• Jacob Matthews, Robert Bruce Findler:
  An operational semantics for Scheme. 47-86
  Electronic Edition (link) BibTeX
• Geoffrey Washburn, Stephanie Weirich:
  Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. 87-140
  Electronic Edition (link) BibTeX

Volume 18, Number 2, March 2008

• David Aspinall, Martin Hofmann, Michal Konecný:
  A type system with usage aspects. 141-178
  Electronic Edition (link) BibTeX
• Christian Skalka, Scott F. Smith, David Van Horn:
  Types and trace effects of higher order programs. 179-249
  Electronic Edition (link) BibTeX
• Martin Sulzmann, Peter J. Stuckey:
  HM(X) type inference is CLP(X) solving. 251-283
  Electronic Edition (link) BibTeX

Volume 18, Number 3, May 2008

• Chieri Saito, Atsushi Igarashi, Mirko Viroli:
  Lightweight family polymorphism. 285-331
  Electronic Edition (link) BibTeX
• Koichi Kodama, Kohei Suenaga, Naoki Kobayashi:
  Translation of tree-processing programs into stream-processing programs based on ordered linear type. 333-371
  Electronic Edition (link) BibTeX
• Zena M. Ariola, Hugo Herbelin:
  Control reduction theories: the benefit of structural substitution. 373-419
  Electronic Edition (link) BibTeX
• Gergely Buday:
  Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. 421-422
  Electronic Edition (link) BibTeX

Volume 18, Number 4, July 2008

• Wouter Swierstra:
  Data types à la carte. 423-436
  Electronic Edition (link) BibTeX
• Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough:
  Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. 437-502
  Electronic Edition (link) BibTeX
• Manfred Schmidt-Schauß, David Sabel, Marko Schütz:
  Safety of Nöcker's strictness analysis. 503-551
  Electronic Edition (link) BibTeX
• Yaron Minsky, Stephen Weeks:
  Caml trading - experiences with functional programming on Wall Street. 553-564
  Electronic Edition (link) BibTeX

Volume 18, Numbers 5-6, September 2008

• Julia L. Lawall:
  Editorial. 565-566
  Electronic Edition (link) BibTeX
• Björn Bringert, Aarne Ranta:
  A pattern for almost compositional functions. 567-598
  Electronic Edition (link) BibTeX
• Adam J. Chlipala:
  Modular development of certified program verifiers with a proof assistant, . 599-647
  Electronic Edition (link) BibTeX
• Kevin Donnelly, Matthew Fluet:
  Transactional events. 649-706
  Electronic Edition (link) BibTeX
• David Fisher, Olin Shivers:
  Building language towers with Ziggurat. 707-780
  Electronic Edition (link) BibTeX
• Shin-ya Katsumata, Susumu Nishimura:
  Algebraic fusion of functions with an accumulating parameter and its improvement. 781-819
  Electronic Edition (link) BibTeX
• Matthew Might, Olin Shivers:
  Exploiting reachability and cardinality in higher-order flow analysis. 821-864
  Electronic Edition (link) BibTeX
• Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal:
  Hoare type theory, polymorphism and separation. 865-911
  Electronic Edition (link) BibTeX