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

 

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,991 articles from 323 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 01  

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

Functional Pearls

 
Free access

Linear, bounded, functional pretty-printing

S. DOAITSE SWIERSTRA and OLAF CHITIL

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 1-16
doi:10.1017/S0956796808006990 (About doi), Published Online by Cambridge University Press 07 Oct 2008
 

Theoretical Pearls

 
Free access

Control effects as a modality

HAYO THIELECKE

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 17-26
doi:10.1017/S0956796808006734 (About doi), Published Online by Cambridge University Press 06 Aug 2008
 

Articles

 
Free access

Commercial uses: Going functional on exotic trades

SIMON FRANKAU, DIOMIDIS SPINELLIS, NICK NASSUPHIS and CHRISTOPH BURGARD

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 27-45
doi:10.1017/S0956796808007016 (About doi), Published Online by Cambridge University Press 01 Oct 2008
Free access

From natural semantics to C: A formal derivation of two STG machines

ALBERTO DE LA ENCINA and RICARDO PEÑA

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 47-94
doi:10.1017/S0956796808006746 (About doi), Published Online by Cambridge University Press 18 Mar 2008
Free access

The Genuine Sieve of Eratosthenes

MELISSA E. O'NEILL

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 95-106
doi:10.1017/S0956796808007004 (About doi), Published Online by Cambridge University Press 09 Oct 2008
Free access

Type-safe higher-order channels with channel locality

SUNGWOO PARK and HYEONSEUNG IM

Journal of Functional Programming, Volume 19, Issue 01, January 2009, pp 107-142
doi:10.1017/S0956796808006989 (About doi), Published Online by Cambridge University Press 09 Sep 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press