1050 results in Journal of Functional Programming
JFP volume 20 issue 5-6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 16 March 2011, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Special Issue Dedicated to ICFP 2008 Editorial
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 16 March 2011, pp. 415-416
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 5-6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 16 March 2011, pp. b1-b8
-
- Article
-
- You have access
- Export citation
The Hough transform
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 24 February 2011, pp. 129-133
-
- Article
-
- You have access
- Export citation
Implicitly threaded parallelism in Manticore
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 27 January 2011, pp. 537-576
-
- Article
-
- You have access
- Export citation
Concrete stream calculus: An extended study
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 18 January 2011, pp. 463-535
-
- Article
-
- You have access
- Export citation
More on balanced diets
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 07 January 2011, pp. 135-157
-
- Article
-
- You have access
- Export citation
Building a consensus: A rectangle covering problem
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 05 January 2011, pp. 119-128
-
- Article
-
- You have access
- Export citation
Functional and dynamic programming in the design of parallel prefix networks
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 06 December 2010, pp. 59-114
-
- Article
-
- You have access
- Export citation
A calculus for hardware description*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 19 November 2010, pp. 21-58
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 3-4 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 21 October 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Special Issue on Generic Programming Editorial
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 21 October 2010, pp. 211-212
-
- Article
-
- You have access
- Export citation
JFP volume 20 issue 3-4 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 21 October 2010, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Scala for generic programmers: Comparing Haskell and Scala support for generic programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 21 October 2010, pp. 303-352
-
- Article
-
- You have access
- Export citation
NixOS: A purely functional Linux distribution
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 15 October 2010, pp. 577-615
-
- Article
-
- You have access
- Export citation
Generic programming with C++ concepts and Haskell type classes—a comparison
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 29 September 2010, pp. 271-302
-
- Article
-
- You have access
- Export citation
Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 29 September 2010, pp. 115-117
-
- Article
-
- You have access
- Export citation
A lightweight approach to datatype-generic rewriting
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 27 September 2010, pp. 375-413
-
- Article
-
- You have access
- Export citation
Formal polytypic programs and proofs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 23 September 2010, pp. 213-270
-
- Article
-
- You have access
- Export citation
Roles, stacks, histories: A triple for Hoare
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 22 September 2010, pp. 159-207
-
- Article
-
- You have access
- Export citation