The Journal of Functional Programming, Volume 5

Volume 5, Number 1, January 1995

• Mark P. Jones:
  A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. 1-35
  
• Christine Ernoult, Alan Mycroft:
  Untyped Strictness Analysis. 37-49
  
• Enrico Tronci:
  Defining Data Structures via Böhm-Out. 51-64
  
• P. N. Benton:
  Strong Normalisation for the Linear Term Calculus. 65-80
  
• Peter Achten, Marinus J. Plasmeijer:
  The Ins and Outs of Clean I/O. 81-110
  
• Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy:
  Dynamic Typing in Polymorphic Languages. 111-130
  

Volume 5, Number 2, April 1995

• C. Barry Jay, Neil Ghani:
  The Virtues of Eta-Expansion. 135-154
  
• Andrew P. Tolmach, Andrew W. Appel:
  A Debugger for Standard ML. 155-200
  
• Tobias Nipkow, Christian Prehofer:
  Type Reconstruction for Type Classes. 201-224
  
• Chris D. Clack, Stuart Clayman, David Parrott:
  Lexical Profiling: Theory and Practice. 225-277
  

Volume 5, Number 3, July 1995

• Pieter H. Hartel, Marinus J. Plasmeijer:
  Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. 279-281
  
• Jeffrey Hammes, Olaf Lubeck, A. P. Wim Böhm:
  Comparing Id and Haskell in a Monte Carlo Photon Transport Code. 283-316
  
• Donald A. Ziff, Stephen P. Spackman, Keith Waclena:
  Funser: A Functional Server for Textual Information Retrieval. 317-343
  
• Greg Michaelson, Norman Scaife:
  Prototyping a Parallel Vision System in Standard ML. 345-382
  
• Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen:
  Implementing a Functional Spreadsheet in Clean. 383-414
  
• John R. Davy, Peter M. Dew:
  A Polymorphic Library for Constructive Solid Geometry. 415-442
  
• Marcel Turcotte, Guy Lapalme, François Major:
  Exploring the Conformations of Nucleic Acids. 443-460
  

Volume 5, Number 4, October 1995

• Charles Consel, Siau-Cheng Khoo:
  On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. 461-500
  
• Amir Kishon, Paul Hudak:
  Semantics Directed Program Execution Monitoring. 501-547
  
• Willem G. Vree, Pieter H. Hartel:
  Communication Lifting: Fixed Point Computation for Parallelism. 549-581
  
• Chris Okasaki:
  Simple and Efficient Purely Functional Queues and Deques. 583-592
  
• Martin Hofmann, Benjamin C. Pierce:
  A Unifying Type-Theoretic Framework for Objects. 593-635
  
• Fairouz Kamareddine, Rob Nederpelt:
  Refining Reduction in the Lambda Calculus. 637-651
  

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