Editorial
Editorial: Special issue dedicated to ICFP 2010
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 379-381
-
- Article
-
- You have access
- Export citation
Articles
Lazy tree splitting
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 382-438
-
- Article
-
- You have access
- Export citation
Fortifying macros
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 439-476
-
- Article
-
- You have access
- Export citation
The impact of higher-order state and control effects on local relational reasoning
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 477-528
-
- Article
-
- You have access
- Export citation
Every bit counts: The binary representation of typed data and programs
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 529-573
-
- Article
-
- You have access
- Export citation
The Reduceron reconfigured and re-evaluated
- Part of:
-
- Published online by Cambridge University Press:
- 10 July 2012, pp. 574-613
-
- Article
-
- You have access
- Export citation
A unified treatment of syntax with binders
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 614-704
-
- Article
-
- You have access
- Export citation
Systematic abstraction of abstract machines
- Part of:
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. 705-746
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
JFP volume 22 issue 4-5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
JFP volume 22 issue 4-5 Cover and Back matter
-
- Published online by Cambridge University Press:
- 15 August 2012, pp. b1-b2
-
- Article
-
- You have access
- Export citation