Skip to Navigation
Skip to Content
 
Home> Journal of Functional Programming> Vol. 18 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:

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 18 - Issue 01  

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

Functional Pearls

 
 

Applicative programming with effects

CONOR MCBRIDE and ROSS PATERSON

Journal of Functional Programming, Volume 18, Issue 01, January 2008, pp 1-13
doi:10.1017/S0956796807006326 (About doi), Published Online by Cambridge University Press 16 May 2007
 

Articles

 
 

Efficient execution in an automated reasoning environment

DAVID A. GREVE, MATT KAUFMANN, PANAGIOTIS MANOLIOS, J STROTHER MOORE, SANDIP RAY, JOSÉ LUIS RUIZ-REINA, ROB SUMNERS, DARON VROON and MATTHEW WILDING

Journal of Functional Programming, Volume 18, Issue 01, January 2008, pp 15-46
doi:10.1017/S0956796807006338 (About doi), Published Online by Cambridge University Press 23 Apr 2007
 

An operational semantics for Scheme

JACOB MATTHEWS and ROBERT BRUCE FINDLER

Journal of Functional Programming, Volume 18, Issue 01, January 2008, pp 47-86
doi:10.1017/S0956796807006478 (About doi), Published Online by Cambridge University Press 01 Aug 2007
 

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism

GEOFFREY WASHBURN and STEPHANIE WEIRICH

Journal of Functional Programming, Volume 18, Issue 01, January 2008, pp 87-140
doi:10.1017/S0956796807006557 (About doi), Published Online by Cambridge University Press 22 Aug 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press