1050 results in Journal of Functional Programming
JFP volume 23 issue 3 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. b1-b4
-
- Article
-
- You have access
- Export citation
A consistent semantics of self-adjusting computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 22 October 2013, pp. 249-292
-
- Article
-
- You have access
- Export citation
Idris, a general-purpose dependently typed programming language: Design and implementation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 18 October 2013, pp. 552-593
-
- Article
-
- You have access
- Export citation
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 14 October 2013, pp. 515-551
-
- Article
-
- You have access
- Export citation
OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp.
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 28 August 2013, pp. 352-354
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 March 2013, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Solving the snake cube puzzle in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 March 2013, pp. 145-160
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 March 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
An in-situ algorithm for expanding a graph
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 07 January 2013, pp. 174-184
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 05 December 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 23 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 05 December 2012, pp. b1-b2
-
- Article
-
- You have access
- Export citation
EditorArrow: An arrow-based model for editor-based programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 22 November 2012, pp. 185-224
-
- Article
-
- You have access
- Export citation
Pearls of Functional Algorithm Design, by Richard Bird, Cambridge University Press, September 2010, £35.00, US $ 60.00. ISBN: 978052151338 (hardback), 286pp
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 06 November 2012, pp. 226-227
-
- Article
-
- You have access
- Export citation
An insider's look at LF type reconstruction: everything you (n)ever wanted to know
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 02 November 2012, pp. 1-37
-
- Article
-
- You have access
- Export citation
Metamorphism in jigsaw
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 19 October 2012, pp. 161-173
-
- Article
-
- You have access
- Export citation
JFP volume 22 issue 6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 11 October 2012, pp. b1-b5
-
- Article
-
- You have access
- Export citation
JFP volume 22 issue 6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 11 October 2012, pp. f1-f2
-
- Article
-
- You have access
- Export citation
MRI: Modular reasoning about interference in incremental programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 11 October 2012, pp. 797-852
-
- Article
-
- You have access
- Export citation
Syntactic soundness proof of a type-and-capability system with hidden state
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 10 October 2012, pp. 38-144
-
- Article
-
- You have access
- Export citation
Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 03 October 2012, pp. 225-226
-
- Article
-
- You have access
- Export citation