Journal of Functional Programming Vol. 18 Issue 01

Journal of Functional Programming

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 18 - Issue 01 - 2008

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Select All
Deselect All

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

Functional Pearls

Applicative programming with effects Applicative programming with effects

false

preview

Abstract
Article Structure
Figures and Tables
References

CONOR MCBRIDE and ROSS PATERSON

Journal of Functional Programming / Volume 18 / Issue 01 / January 2008, pp 1 - 13

DOI: http://dx.doi.org/10.1017/S0956796807006326 (About DOI), Published online: 16 May 2007

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Articles

Efficient execution in an automated reasoning environment Efficient execution in an automated reasoning environment

false

preview

Abstract
Article Structure
Figures and Tables
References

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: http://dx.doi.org/10.1017/S0956796807006338 (About DOI), Published online: 23 April 2007

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

An operational semantics for Scheme An operational semantics for Scheme

false

preview

Abstract
Article Structure
Figures and Tables
References

JACOB MATTHEWS and ROBERT BRUCE FINDLER

Journal of Functional Programming / Volume 18 / Issue 01 / January 2008, pp 47 - 86

DOI: http://dx.doi.org/10.1017/S0956796807006478 (About DOI), Published online: 01 August 2007

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

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

false

preview

Abstract
Article Structure
Figures and Tables
References

GEOFFREY WASHBURN and STEPHANIE WEIRICH

Journal of Functional Programming / Volume 18 / Issue 01 / January 2008, pp 87 - 140

DOI: http://dx.doi.org/10.1017/S0956796807006557 (About DOI), Published online: 22 August 2007

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Welcome to Cambridge Journals Online