[Prev][Next][Index][Thread]
Journal of Functional Programming
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 wadler@research.bell-labs.com
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
-----------------------------------------------------------------------