Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 19 Issue 05

 

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:

567,269 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 19 - Issue 05  

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

Front Cover (OFC, IFC) and matter

 
 

JFP volume 19 issue 5 Cover and Front matter

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp f1-f2
doi:10.1017/S0956796809990141 (About doi), Published Online by Cambridge University Press 14 Sep 2009
 

Back Cover (IBC, OBC) and matter

 
 

JFP volume 19 issue 5 Cover and Back matter

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp b1-b3
doi:10.1017/S0956796809990153 (About doi), Published Online by Cambridge University Press 14 Sep 2009
 

Editorial

 
 

Editorial

Xavier Leroy and Matthias Felleisen

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp 489-490
doi:10.1017/S095679680999013X (About doi), Published Online by Cambridge University Press 14 Sep 2009
 

Functional Pearls

 
 

The Bird Tree

RALF HINZE

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp 491-508
doi:10.1017/S0956796809990116 (About doi), Published Online by Cambridge University Press 14 Sep 2009
 

Articles

 
 

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

JACQUES CARETTE, OLEG KISELYOV and CHUNG-CHIEH SHAN

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp 509-543
doi:10.1017/S0956796809007205 (About doi), Published Online by Cambridge University Press 15 Apr 2009
 

Algebra of programming in Agda: Dependent types for relational program derivation

SHIN-CHENG MU, HSIANG-SHANG KO and PATRIK JANSSON

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp 545-579
doi:10.1017/S0956796809007345 (About doi), Published Online by Cambridge University Press 23 Jul 2009
 

The λ-calculus with constructors: Syntax, confluence and separation

ARIEL ARBISER, ALEXANDRE MIQUEL and ALEJANDRO RÍOS

Journal of Functional Programming, Volume 19, Issue 05, September 2009, pp 581-631
doi:10.1017/S0956796809007369 (About doi), Published Online by Cambridge University Press 14 Sep 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press