1050 results in Journal of Functional Programming
Space profiling for parallel functional programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 03 September 2010, pp. 417-461
-
- Article
-
- You have access
- Export citation
Factorising folds for faster functions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 30 June 2010, pp. 353-373
-
- Article
-
- You have access
- Export citation
Parametricity, type equality, and higher-order polymorphism
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 15 April 2010, pp. 175-210
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 15 April 2010, pp. b1-b10
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 15 April 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Short note: Strict unwraps make worker/wrapper fusion totally correct
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 08 April 2010, pp. 209-213
-
- Article
-
- You have access
- Export citation
The Soccer-Fun project
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 19 March 2010, pp. 1-19
-
- Article
-
- You have access
- Export citation
Lightweight checkpointing for concurrent ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 19 March 2010, pp. 137-173
-
- Article
-
- You have access
- Export citation
Experience report: Functional programming in C-Rules
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 02 March 2010, pp. 123-136
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, p. 1
-
- Article
-
- You have access
- Export citation
Ott: Effective tool support for the working semanticist
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. 71-122
-
- Article
-
- You have access
- Export citation
“Little language” project modules
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. 3-18
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. b1-b8
-
- Article
-
- You have access
- Export citation
The arrow calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. 51-69
-
- Article
-
- You have access
- Export citation
Linear type theory for asynchronous session types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 08 December 2009, pp. 19-50
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 30 October 2009, pp. b1-b5
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 30 October 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008.
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 30 October 2009, pp. 723-725
-
- Article
-
- You have access
- Export citation
The Bird Tree
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 491-508
-
- Article
-
- You have access
- Export citation