1050 results in Journal of Functional Programming
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 4 / July 2014
- Published online by Cambridge University Press:
- 27 August 2014, pp. 474-522
-
- Article
-
- You have access
- Export citation
The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 4 / July 2014
- Published online by Cambridge University Press:
- 03 July 2014, pp. 434-473
-
- Article
-
- You have access
- Export citation
MultiMLton: A multicore-aware runtime for standard ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 6 / November 2014
- Published online by Cambridge University Press:
- 18 June 2014, pp. 613-674
-
- Article
-
- You have access
- Export citation
Practical Foundations for Programming Languages, by Robert Harper , Cambridge University Press, New York, December 2012, English, ISBN-10: 1107029570, Hardcover, 487 pp.
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 4 / July 2014
- Published online by Cambridge University Press:
- 17 June 2014, p. 523
-
- Article
-
- You have access
- Export citation
Pushdown flow analysis with abstract garbage collection
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 21 May 2014, pp. 218-283
-
- Article
-
- You have access
- Export citation
Special Issue Dedicated to ICFP 2012: Editorial
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 21 May 2014, pp. 131-132
-
- Article
-
- You have access
- Export citation
JFP volume 24 issue 2-3 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 21 May 2014, pp. b1-b6
-
- Article
-
- You have access
- Export citation
JFP volume 24 issue 2-3 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 21 May 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Beginning Haskell, by Alejandro Serrano Mena, Apress, New York City, NY, 2014, ISBN-10: 1430262508, 428 pp.
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 30 April 2014, pp. 421-422
-
- Article
-
- You have access
- Export citation
Transporting functions across ornaments
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 23 April 2014, pp. 316-383
-
- Article
-
- You have access
- Export citation
Work it, wrap it, fix it, fold it
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. 113-127
-
- Article
-
- You have access
- Export citation
JFP volume 24 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 24 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. b1-b8
-
- Article
-
- You have access
- Export citation
Realm of Racket, by Forrest Bice, Rose DeMaio, Spencer Florence, Feng-Yun Mimi Lin, Scott Lindeman, Nicole Nussbaum, Eric Peterson, Ryan Plessner, David Van Horn, Matthias Felleisen and Conrad Barski, MD, No Starch Press, San Franscisco, CA, 2013, £27.49. ISBN-10:1-59327-491-2.
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 15 April 2014, pp. 419-421
-
- Article
-
- You have access
- Export citation
Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger .
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 4 / July 2014
- Published online by Cambridge University Press:
- 09 April 2014, pp. 524-527
-
- Article
-
- You have access
- Export citation
Implicit self-adjusting computation for purely functional programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 31 March 2014, pp. 56-112
-
- Article
-
- You have access
- Export citation
Propositions as sessions*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 31 January 2014, pp. 384-418
-
- Article
-
- You have access
- Export citation
Delimited control and computational effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 22 January 2014, pp. 1-55
-
- Article
-
- You have access
- Export citation
Elaborating intersection and union types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 20 January 2014, pp. 133-165
-
- Article
-
- You have access
- Export citation
Proof-producing translation of higher-order logic into pure and stateful ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 20 January 2014, pp. 284-315
-
- Article
-
- You have access
- Export citation