Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 16 Issue 4-5

 

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 16 - Issue 4-5  

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

Article

 
 

Introduction

KATHLEEN FISHER

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 373-374
doi:10.1017/S0956796806005958 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Sound and complete models of contracts

MATTHIAS BLUME and DAVID McALLESTER

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 375-414
doi:10.1017/S0956796806005971 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Making a fast curry: push/enter vs. eval/apply for higher-order languages

SIMON MARLOW and SIMON PEYTON JONES

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 415-449
doi:10.1017/S0956796806005995 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Generics for the masses

RALF HINZE

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 451-483
doi:10.1017/S0956796806006022 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Monadic regions

MATTHEW FLUET and GREG MORRISETT

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 485-545
doi:10.1017/S095679680600596X (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Multi-return function call

OLIN SHIVERS and DAVID FISHER

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 547-582
doi:10.1017/S0956796806006009 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Slideshow: functional presentations

ROBERT BRUCE FINDLER and MATTHEW FLATT

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 583-619
doi:10.1017/S0956796806006010 (About doi), Published Online by Cambridge University Press 10 Aug 2006
 

Static analysis for path correctness of XML queries

DARIO COLAZZO, GIORGIO GHELLI, PAOLO MANGHI and CARLO SARTIANI

Journal of Functional Programming, Volume 16, Issue 4-5, July 2006, pp 621-661
doi:10.1017/S0956796806005983 (About doi), Published Online by Cambridge University Press 10 Aug 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press