JFP 1995

23 papers

1. A Debugger for Standard ML · Andrew P. Tolmach, Andrew W. Appel
2. A Polymorphic Library for Constructive Solid Geometry · John R. Davy, Peter M. Dew
3. A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism · Mark P. Jones
4. A Unifying Type-Theoretic Framework for Objects · Martin Hofmann, Benjamin C. Pierce
5. Communication Lifting: Fixed Point Computation for Parallelism · Willem G. Vree, Pieter H. Hartel
6. Comparing Id and Haskell in a Monte Carlo Photon Transport Code · Jeffrey Hammes, Olaf M. Lubeck, A. P. Wim Böhm
7. Defining Data Structures via Böhm-Out · Enrico Tronci
8. Dynamic Typing in Polymorphic Languages · Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
9. Exploring the Conformations of Nucleic Acids · Marcel Turcotte, Guy Lapalme, François Major
10. Funser: A Functional Server for Textual Information Retrieval · Donald A. Ziff, Stephen P. Spackman, Keith Waclena
11. Implementing a Functional Spreadsheet in Clean · Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen
12. Lexical Profiling: Theory and Practice · Chris D. Clack, Stuart Clayman, David Parrott
13. On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs · Charles Consel, Siau-Cheng Khoo
14. Prototyping a Parallel Vision System in Standard ML · Greg Michaelson, Norman Scaife
15. Refining Reduction in the Lambda Calculus · Fairouz Kamareddine, Rob Nederpelt
16. Semantics Directed Program Execution Monitoring · Amir Kishon, Paul Hudak
17. Simple and Efficient Purely Functional Queues and Deques · Chris Okasaki
18. Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages · Pieter H. Hartel, Marinus J. Plasmeijer
19. Strong Normalisation for the Linear Term Calculus · P. N. Benton
20. The Ins and Outs of Clean I/O · Peter Achten, Marinus J. Plasmeijer
21. The Virtues of Eta-Expansion · C. Barry Jay, Neil Ghani
22. Type Reconstruction for Type Classes · Tobias Nipkow, Christian Prehofer
23. Untyped Strictness Analysis · Christine Ernoult, Alan Mycroft