Cambridge Journals Online - Journal of Functional Programming Vol. 16 Iss. 02

Home
CJO Mobile
Mobile Device Twinning
Contact Us
Site Map
Help
FAQ
Accessibility
Register

Basket
Log in

User Log-in
Institutional Log-in
Register for an Account

Username or Email Address:

Password:

Remember me

Forgot your Password? Log in

Trouble Logging in?

You can also login through:

Facebook
Twitter
Google Plus

About Us
News
Browse Journals
Authors
- Authors Home
Societies
- Societies Home
Librarians
Agents
- Agents Home
Users
- Users Home
Corporate
- Corporate Home

Citation Search
Quick Search

Advanced Search

Welcome to Cambridge Journals Online

To access subscriptions and personalised features please log in or register

Register for an Account

Journal of Functional Programming

Journal Information

Editorial Board
Journal of Functional Programming News
Book Review Info
Instructions for Contributors
Transfer of Copyright
Abstracting & Indexing Services
Request Permissions
Advertising Information

Journal of Functional Programming Home

Save Journal to My CJO Account

Browse Journal

Latest Issue
Back Issues

Browse Articles

Most Downloaded
Most Cited

Submit Your Article
Sign-Up for Contents Alerts

Subscribe & Recommend Journal

Subscribe to Journal

Related Journals

APSIPA Transactions on Signal and Information Processing
Natural Language Engineering
RAIRO - Theoretical Informatics and Applications
ReCALL
Robotica
Theory and Practice of Logic Programming
AI EDAM
Probability in the Engineering and Informational Sciences
The Knowledge Engineering Review
RAIRO - Operations Research
Combinatorics, Probability and Computing
LMS Journal of Computation and Mathematics
The Review of Symbolic Logic
Mathematical Structures in Computer Science

Advice for Referees
Advice for Authors
Commercial Uses of Functional Programming
CUFP: Commercial Users of Functional Programming
Related Books

Advertising and Corporate Sales
Request Permissions

CJO Search Widget (Journal of Functional Programming) What is this?
Add Cambridge Journals Online as a search option in your browser toolbar. What is this?

Access Information

Consortia Access
Free Access
Individual Access
Open Access
Pay-per-View Access
Subscription Access

Home
>
Journal of Functional Programming
>
Vol. 16 Issue 02

Journal of Functional Programming

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 16 - Issue 02 - 2006

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

FUNCTIONAL PEARL: Marble mingling FUNCTIONAL PEARL: Marble mingling

false

Abstract
Article Structure
Figures and Tables
References

S. A. CURTIS

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 129 - 136

2003 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S095679680300474X (About DOI), Published online: 31 July 2003

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

Article

Remarks on the equational theory of non-normalizing pure type systems Remarks on the equational theory of non-normalizing pure type systems

false

Abstract
Article Structure
Figures and Tables
References

GILLES BARTHE and THIERRY COQUAND

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 137 - 155

2003 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796803004726 (About DOI), Published online: 16 September 2003

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

A reflective functional language for hardware design and theorem proving A reflective functional language for hardware design and theorem proving

false

Abstract
Article Structure
Figures and Tables
References

JIM GRUNDY, TOM MELHAM and JOHN O'LEARY

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 157 - 196

2005 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805005757 (About DOI), Published online: 28 October 2005

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

Finger trees: a simple general-purpose data structure Finger trees: a simple general-purpose data structure

false

Abstract
Article Structure
Figures and Tables
References

RALF HINZE and ROSS PATERSON

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 197 - 217

2005 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805005769 (About DOI), Published online: 16 November 2005

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

Pure type systems with judgemental equality Pure type systems with judgemental equality

false

Abstract
Article Structure
Figures and Tables
References

ROBIN ADAMS

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 219 - 246

2005 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805005770 (About DOI), Published online: 28 October 2005

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

Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002 Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002

false

Abstract
Article Structure
Figures and Tables
References

NIMISH SHAH

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 247 - 249

2006 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805215812 (About DOI), Published online: 31 January 2006

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 Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck, King's College Publications, 2004, ISBN 0-9543006-9-6 The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck, King's College Publications, 2004, ISBN 0-9543006-9-6

false

Abstract
Article Structure
Figures and Tables
References

DAVID SANKEL

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 249 - 250

2006 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805225819 (About DOI), Published online: 31 January 2006

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 Standard ML Basis Library by Emden R. Gansner and John H. Reppy, editors, Cambridge University Press, 2004, 406pp The Standard ML Basis Library by Emden R. Gansner and John H. Reppy, editors, Cambridge University Press, 2004, 406pp

false

Abstract
Article Structure
Figures and Tables
References

ISAAC JONES

Journal of Functional Programming / Volume 16 / Issue 02 / March 2006, pp 250 - 251

2006 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0956796805235815 (About DOI), Published online: 31 January 2006

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

Copyright Statement
Rights and Permissions
Privacy Policy
Terms of Use
Feedback
Press Releases

© Cambridge University Press

Cambridge University Press

Cross Ref
Cited by CrossRef
Project Counter
Level Double-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0
RSS Feed
Get Adobe Reader
Automated Content Access Protocol enabled