Below are the contents of recent issues of the Journal of Functional
Programming. Contents for all issues, and abstracts for the last
three years, can be found at:
http://www.dcs.gla.ac.uk/jfp/
The site also contains information on how to submit, and how you or
your library can subscribe. -- Philip Wadler, Editor-in-Chief, JFP
JFP 6.4 July 1996
=================
Representing demand by partial projections
John Launchbury and Gebreselassie Baraki
New dimensions in heap profiling
Colin Runciman and Nicklas Rojemo
Benchmarking implementations of functional languages with 'Pseudoknot',
a float-intensive benchmark
Pieter Hartel et al
Functional Pearl: The third homomorphism theorem
Jeremy Gibbons
JFP 6.5 September 1996
======================
A syntactic theory of type generativity and sharing
Xavier Leroy
LambdaV, a calculus of explicit substitutions which preserves strong
normalisation
Zine-el-Abidine Benaissa, Daniel Briaud, Pierre Lescanne and Jocelyne
Rouyer-Degli
Pi-Red+ An interactive compiling graph reduction system for an applied
Lambda-calculus
Dietmar Gartner and Werner E. Kluge
A simple proof of the undecidability of inhabitation in Lambda-P
Marc Bezem and Jan Springintveld
JFP 6.6 November 1996
=====================
The Bologna Optimal Higher-order machine
Andrea Asperti, Cecilia Giovannetti and Andrea Naletto
A positive supercompiler
M. H. Sorensen, R. Gluck and N. D. Jones
Optimal purely functional priority queues
Gerth Stolting Brodal and Chris Okasaki
JFP 7.1 January 1997
====================
A foundation for actor computation
Gul A. Agha, Ian A. Mason, Scott F. Smith and Carolyn L. Talcott
First-order functional languages and intensional logic
R.Rondogiannis and W.W. Wadge
On the effectiveness of functional language features: NAS benchmark FT
J. Hammes, S. Sur and W. Bohm
Call for papers: Special issue on Theorem Provers and Functional
Programming.
-----------------------------------------------------------------------
Philip Wadler [EMAIL PROTECTED]
Bell Laboratories http://cm.bell-labs.com/cm/cs/who/wadler/
Lucent Technologies office: +1 908 582 4004
700 Mountain Ave, Room 2T-304 fax: +1 908 582 5857
Murray Hill, NJ 07974-0636 USA home: +1 908 626 9252
-----------------------------------------------------------------------
