The Journal of Functional Programming, Volume 6

Volume 6, Number 1, January 1996

• Richard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. 1-28 BibTeX
• Pieter H. Hartel, Hugh Glaser: The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. 29-45 BibTeX
• Andrew W. Appel, Zhong Shao: Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. 47-74 BibTeX
• Geoffrey L. Burn, Daniel Le Métayer: Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. 75-109 BibTeX
• John Greiner: Weak Polymorphism can be Sound. 111-141 BibTeX
• Philip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang: Sparse Matrix Representations in a Functional Language. 143-170 BibTeX
• Peter W. O'Hearn: Note on Algol and Conservatively Extending Functional Programming. 171-180 BibTeX

• Graham Hutton, Erik Meijer: Back to Basics: Deriving Representation Changers Functionally. 181-188 BibTeX

Volume 6, Number 2, March 1996

• Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Reference Counting as a Computational Interpretation of Linear Logic. 195-244 BibTeX
• Fairouz Kamareddine, Rob Nederpelt: Canonical Typing and Pi-Conversion in the Barendregt Cube. 245-267 BibTeX
• Anders Bondorf, Jens Palsberg: Generating Action Compilers by Partial Evaluation. 269-298 BibTeX
• Pierre-Louis Curien, Roberto Di Cosmo: A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. 299-327 BibTeX
• A. N. Clark: Formal Basis for the Refinement of Rule Based Transition Systems. 329-354 BibTeX
• Andrew Partridge, David Wright: Predictive Parser Combinators Need four Values to Report Errors. 355-364 BibTeX

• James J. Leifer, Bernard Sufrin: Deduction for Functional Programmers. 365-373 BibTeX

Volume 6, Number 3, May 1996

• Bart Jacobs: On Cubism. 379-391 BibTeX
• Robert Harper, Mark Lillibridge: Operational Interpretations of an Extension of F_omega with Control Operators. 393-417 BibTeX
• D. B. Carpenter, Hugh Glaser: Some Lattice-Based Scientific Problems, Expressed in Haskell. 419-443 BibTeX
• Steve Hill: Combinators for Parsing Expressions. 445-463 BibTeX
• Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong: Haskore Music Notation - An Algebra of Music. 465-483 BibTeX
• Konstantin Läufer: Type Classes with Existential Types. 485-517 BibTeX
• Franco Barbanera, Stefano Berardi: Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. 519-525 BibTeX

• Andrew Kennedy: Drawing Trees. 527-534 BibTeX
• Jeremy Gibbons: Deriving Tidy Drawings of Trees. 535-562 BibTeX

Volume 6, Number 4, July 1996

• John Launchbury, Gebreselassie Baraki: Representing Demand by Partial Projections. 563-585 BibTeX
• Colin Runciman, Niklas Röjemo: New Dimensions in Heap Profiling. 587-620 BibTeX
• Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. 621-655 BibTeX

• Jeremy Gibbons: The Third Homomorphism Theorem. 657-665 BibTeX

Volume 6, Number 5, September 1996

• Xavier Leroy: A Syntactic Theory of Type Generativity and Sharing. 667-698 BibTeX
• Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli: lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. 699-722 BibTeX
• Dietmar Gärtner, Werner E. Kluge: pi-Red+ An Interactive Compiling Graph Reduction System for an Applied lambda-Calculus. 723-756 BibTeX
• Marc Bezem, Jan Springintveld: A Simple Proof of the Undecidability of Inhabitation in lambdaP. 757-761 BibTeX

Volume 6, Number 6, November 1996

• Andrea Asperti, Cecilia Giovanetti, Andrea Naletto: The Bologna Optimal Higher-Order Machine. 763-810 BibTeX
• Morten Heine Sørensen, Robert Glück, Neil D. Jones: A Positive Supercompiler. 811-838 BibTeX
• Gerth Stølting Brodal, Chris Okasaki: Optimal Purely Functional Priority Queues. 839-857 BibTeX