Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 18 Issue 03

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Journal of Functional Programming

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • Matthias Felleisen, Northeastern University, USA
    Xavier Leroy, INRIA Rocquencourt, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 18 - Issue 03  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Articles

 
 

Lightweight family polymorphism

CHIERI SAITO, ATSUSHI IGARASHI and MIRKO VIROLI

Journal of Functional Programming, Volume 18, Issue 03, May 2008, pp 285-331
doi:10.1017/S0956796807006405 (About doi), Published Online by Cambridge University Press 06 Jul 2007
 

Translation of tree-processing programs into stream-processing programs based on ordered linear type

KOICHI KODAMA, KOHEI SUENAGA and NAOKI KOBAYASHI

Journal of Functional Programming, Volume 18, Issue 03, May 2008, pp 333-371
doi:10.1017/S0956796807006570 (About doi), Published Online by Cambridge University Press 04 Jan 2008
 

Control reduction theories: the benefit of structural substitution

ZENA M. ARIOLA and HUGO HERBELIN

Journal of Functional Programming, Volume 18, Issue 03, May 2008, pp 373-419
doi:10.1017/S0956796807006612 (About doi), Published Online by Cambridge University Press 22 Oct 2007
 

Book Reviews

 
 

Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.

Gergely Buday

Journal of Functional Programming, Volume 18, Issue 03, May 2008, pp 421-422
doi:10.1017/S0956796807006715 (About doi), Published Online by Cambridge University Press 11 Apr 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press