Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 19 Issue 3-4

 

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 19 - Issue 3-4  

  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 3-4 Cover and Front matter

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp f1-f2
doi:10.1017/S0956796809007370 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Back Cover (IBC, OBC) and matter

 
 

JFP volume 19 issue 3-4 Cover and Back matter

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp b1-b8
doi:10.1017/S0956796809007382 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Preface

 
 

Preface

CONOR McBRIDE and TARMO UUSTALU

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 263-264
doi:10.1017/S0956796809007242 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Articles

 
 

Gabriel–Ulmer duality and Lawvere theories enriched over a general base

STEPHEN LACK and JOHN POWER

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 265-286
doi:10.1017/S0956796809007254 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Implementing a normalizer using sized heterogeneous types

ANDREAS ABEL

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 287-310
doi:10.1017/S0956796809007266 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Big-step normalisation

THORSTEN ALTENKIRCH and JAMES CHAPMAN

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 311-333
doi:10.1017/S0956796809007278 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Parameterised notions of computation

ROBERT ATKEY

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 335-376
doi:10.1017/S095679680900728X (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

The essence of the Iterator pattern

JEREMY GIBBONS and BRUNO C. d. S. OLIVEIRA

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 377-402
doi:10.1017/S0956796809007291 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Categorical semantics for arrows

BART JACOBS, CHRIS HEUNEN and ICHIRO HASUO

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 403-438
doi:10.1017/S0956796809007308 (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

An induction principle for nested datatypes in intensional type theory

RALPH MATTHES

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 439-468
doi:10.1017/S095679680900731X (About doi), Published Online by Cambridge University Press 09 Jun 2009
 

Algebras for combinatorial search

J. MICHAEL SPIVEY

Journal of Functional Programming, Volume 19, Issue 3-4, July 2009, pp 469-487
doi:10.1017/S0956796809007321 (About doi), Published Online by Cambridge University Press 09 Jun 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press