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
  
• Pieter H. Hartel, Hugh Glaser:
  The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. 29-45
  
• Andrew W. Appel, Zhong Shao:
  Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. 47-74
  
• 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
  
• John Greiner:
  Weak Polymorphism can be Sound. 111-141
  
• Philip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang:
  Sparse Matrix Representations in a Functional Language. 143-170
  
• Peter W. O'Hearn:
  Note on Algol and Conservatively Extending Functional Programming. 171-180
  

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

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
  
• Fairouz Kamareddine, Rob Nederpelt:
  Canonical Typing and Pi-Conversion in the Barendregt Cube. 245-267
  
• Anders Bondorf, Jens Palsberg:
  Generating Action Compilers by Partial Evaluation. 269-298
  
• Pierre-Louis Curien, Roberto Di Cosmo:
  A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. 299-327
  
• A. N. Clark:
  Formal Basis for the Refinement of Rule Based Transition Systems. 329-354
  
• Andrew Partridge, David Wright:
  Predictive Parser Combinators Need four Values to Report Errors. 355-364
  

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

Volume 6, Number 3, May 1996

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

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

Volume 6, Number 4, July 1996

• John Launchbury, Gebreselassie Baraki:
  Representing Demand by Partial Projections. 563-585
  
• Colin Runciman, Niklas Röjemo:
  New Dimensions in Heap Profiling. 587-620
  
• 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
  

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

Volume 6, Number 5, September 1996

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

Volume 6, Number 6, November 1996

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

Last update Thu May 23 19:08:12 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page