Journal of Functional Programming Vol. 19 Issue 02

Journal of Functional Programming

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 19 - Issue 02 - 2009

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

Editorial

Editorial Editorial

false

preview

Abstract
Article Structure
Figures and Tables
References

Xavier Leroy

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 143 - 143

DOI: http://dx.doi.org/10.1017/S0956796809007187 (About DOI), Published online: 06 March 2009

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

Functional Pearls

Type-safe pattern combinators Type-safe pattern combinators

false

preview

Abstract
Article Structure
Figures and Tables
References

MORTEN RHIGER

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 145 - 156

DOI: http://dx.doi.org/10.1017/S0956796808007089 (About DOI), Published online: 23 December 2008

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

Theoretical Pearls

Coherence of subsumption for monadic types Coherence of subsumption for monadic types

false

preview

Abstract
Article Structure
Figures and Tables
References

JAN SCHWINGHAMMER

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 157 - 172

DOI: http://dx.doi.org/10.1017/S0956796808006886 (About DOI), Published online: 30 June 2008

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

Regular-expression derivatives re-examined Regular-expression derivatives re-examined

false

preview

Abstract
Article Structure
Figures and Tables
References

SCOTT OWENS, JOHN REPPY and AARON TURON

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 173 - 190

DOI: http://dx.doi.org/10.1017/S0956796808007090 (About DOI), Published online: 10 February 2009

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

First-class patterns First-class patterns

false

preview

Abstract
Article Structure
Figures and Tables
References

BARRY JAY and DELIA KESNER

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 191 - 225

DOI: http://dx.doi.org/10.1017/S0956796808007144 (About DOI), Published online: 06 March 2009

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

The worker/wrapper transformation The worker/wrapper transformation

false

preview

Abstract
Article Structure
Figures and Tables
References

ANDY GILL and GRAHAM HUTTON

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 227 - 251

DOI: http://dx.doi.org/10.1017/S0956796809007175 (About DOI), Published online: 06 March 2009

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

Book Reviews

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141. Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.

false

preview

Abstract
Article Structure
Figures and Tables
References

Anthony M. Sloane

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 253 - 254

DOI: http://dx.doi.org/10.1017/S0956796808006977 (About DOI), Published online: 08 September 2008

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

Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp. Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price \$70. 930pp.

false

preview

Abstract
Article Structure
Figures and Tables
References

Peter Gammie

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 254 - 256

DOI: http://dx.doi.org/10.1017/S0956796808007028 (About DOI), Published online: 06 March 2009

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

Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5. Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5.

false

preview

Abstract
Article Structure
Figures and Tables
References

Saketh Bhamidipati

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 256 - 259

DOI: http://dx.doi.org/10.1017/S0956796809007151 (About DOI), Published online: 06 March 2009

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

Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X. Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.

false

preview

Abstract
Article Structure
Figures and Tables
References

Krishna Sankar

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 259 - 261

DOI: http://dx.doi.org/10.1017/S0956796809007163 (About DOI), Published online: 06 March 2009

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

Errata

FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum

false

preview

Abstract
Article Structure
Figures and Tables
References

Robert Harper

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp 262 - 262

DOI: http://dx.doi.org/10.1017/S0956796808007119 (About DOI), Published online: 06 March 2009

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
Original Article
Request Permissions

Front Cover (OFC, IFC) and matter

JFP volume 19 issue 2 Cover and Front matter JFP volume 19 issue 2 Cover and Front matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp f1 - f2

DOI: http://dx.doi.org/10.1017/S0956796809007199 (About DOI), Published online: 06 March 2009

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

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

Back Cover (IBC, OBC) and matter

JFP volume 19 issue 2 Cover and Back matter JFP volume 19 issue 2 Cover and Back matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Journal of Functional Programming / Volume 19 / Issue 02 / March 2009, pp b1 - b2

DOI: http://dx.doi.org/10.1017/S0956796809007217 (About DOI), Published online: 06 March 2009

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

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