Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 12 Issue 06

 

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

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 12 - Issue 06  

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

Research Articles

 
 

Recursive subtyping revealed

VLADIMIR GAPEYEV, MICHAEL Y. LEVIN and BENJAMIN C. PIERCE

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 511-548
doi:10.1017/S0956796802004318 (About doi), Published Online by Cambridge University Press 06 Nov 2002
 

The lambda calculus is algebraic

PETER SELINGER

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 549-566
doi:10.1017/S0956796801004294 (About doi), Published Online by Cambridge University Press 06 Nov 2002
 

Intensional polymorphism in type-erasure semantics

KARL CRARY, STEPHANIE WEIRICH and GREG MORRISETT

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 567-600
doi:10.1017/S0956796801004282 (About doi), Published Online by Cambridge University Press 06 Nov 2002
 

FUNCTIONAL PEARL

 
 

A fresh look at binary search trees

RALF HINZE

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 601-607
doi:10.1017/S0956796801004269 (About doi), Published Online by Cambridge University Press 06 Nov 2002
 

The countdown problem

GRAHAM HUTTON

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 609-616
doi:10.1017/S0956796801004300 (About doi), Published Online by Cambridge University Press 06 Nov 2002
 

THEORETICAL PEARL

 
 

CPS in little pieces: composing partial continuations

DANIEL P. FRIEDMAN and AMR SABRY

Journal of Functional Programming, Volume 12, Issue 06, November 2002, pp 617-622
doi:10.1017/S0956796801004221 (About doi), Published Online by Cambridge University Press 13 Nov 2002
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press