1050 results in Journal of Functional Programming
On the complexity of stream equality
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 20 January 2014, pp. 166-217
-
- Article
-
- You have access
- Export citation
Systematic Program Design: From Clarity to Efficiency, by Yanhong Annie Liu , Cambridge University Press, 2013, ISBN: 978-1-107-03660-4.
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 10 January 2014, pp. 128-130
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 08 January 2014, pp. b1-b6
-
- Article
-
- You have access
- Export citation
Commercial users of functional programming workshop report
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 08 January 2014, pp. 701-712
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 08 January 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Fractal image compression
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 13 December 2013, pp. 629-657
-
- Article
-
- You have access
- Export citation
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 13 December 2013, pp. 658-700
-
- Article
-
- You have access
- Export citation
Counting and generating lambda terms
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 30 October 2013, pp. 594-628
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 5 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 30 October 2013, pp. b1-b8
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 5 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 30 October 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Modular verification of preemptive OS kernels
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 452-514
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 4 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
How to make ad hoc proof automation less ad hoc
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 357-401
-
- Article
-
- You have access
- Export citation
Special Issue Dedicated to ICFP 2011 Editorial
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 355-356
-
- Article
-
- You have access
- Export citation
Secure distributed programming with value-dependent types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 402-451
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 4 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Refactoring tools for functional languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 293-350
-
- Article
-
- You have access
- Export citation
Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp.
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 351-352
-
- Article
-
- You have access
- Export citation
A library for polymorphic dynamic typing
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 229-248
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 3 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation