Journal of Functional Programming 
Author Message
 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.*-*-*.com/

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.

-----------------------------------------------------------------------

Bell Laboratories             http://www.*-*-*.com/
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
-----------------------------------------------------------------------



Tue, 19 Oct 1999 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Books for review in the Journal of Functional Programming

2. Reviews for the Journal of Functional Programming

3. Book reviewers wanted for Journal of Functional Programming

4. Journal of Functional Programming

5. Journal of Functional Programming

6. Journal of Functional Programming: state of play

7. Journal of Functional Programming 5(1)

8. CFP: Journal of Functional Programming

9. Journal of Functional Programming

10. Call for Papers: First Electronic Journal of Functional and Logic Programming

11. Call for Papers: First Electronic Journal of Functional and Logic Programming

12. Call for Papers: First Electronic Journal of Functional and Logic Programming

 

 
Powered by phpBB® Forum Software