1050 results in Journal of Functional Programming
Transparent fault tolerance for scalable functional computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 17 March 2016, e5
-
- Article
-
- You have access
- Export citation
Efficiency of lambda-encodings in total type theory
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 10 March 2016, e3
-
- Article
-
- You have access
- Export citation
Well-founded recursion with copatterns and sized types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 March 2016, e2
-
- Article
-
- You have access
- Export citation
Unifying structured recursion schemes: An Extended Study
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 February 2016, e1
-
- Article
-
- You have access
- Export citation
Counting and generating terms in the binary lambda calculus*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 29 December 2015, e24
-
- Article
-
- You have access
- Export citation
Teaching types with a cognitively effective worked example format
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 17 December 2015, e23
-
- Article
-
- You have access
- Export citation
Calculating a linear-time solution to the densest-segment problem
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 14 December 2015, e22
-
- Article
-
- You have access
- Export citation
PhD abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 10 December 2015, e21
-
- Article
-
- You have access
- Export citation
Interleaving data and effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 20 November 2015, e20
-
- Article
-
- You have access
- Export citation
Pure type systems with explicit substitutions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 09 November 2015, e19
-
- Article
-
- You have access
- Export citation
Verified decision procedures for MSO on words based on derivatives of regular expressions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 05 November 2015, e18
-
- Article
-
- You have access
- Export citation
Type-based amortized resource analysis with integers and arrays*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 29 October 2015, e17
-
- Article
-
- You have access
- Export citation
Review of “Learn you some Erlang for great good! A beginner's guide”, by Fred Hébert, No Starch Press, 2013, £26.80 (paperback), ISBN: 978-1-59327-435-1
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 22 October 2015, e16
-
- Article
-
- You have access
- Export citation
Review of “A functional start to computing with Python”, Ted Herman, CRC Press, 2014, ISBN 978-1-4665-0455-4
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 08 October 2015, e15
-
- Article
-
- You have access
- HTML
- Export citation
Calculating correct compilers
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 16 September 2015, e14
-
- Article
-
- You have access
- Export citation
A representation theorem for second-order functionals
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 08 September 2015, e13
-
- Article
-
- You have access
- Open access
- Export citation
Mtac: A monad for typed tactic programming in Coq
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 24 August 2015, e12
-
- Article
-
- You have access
- Export citation
Understanding beginners' mistakes with Haskell
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 06 August 2015, e11
-
- Article
-
- You have access
- Export citation
Efficient parallel and incremental parsing of practical context-free languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 23 July 2015, e10
-
- Article
-
- You have access
- Export citation
Generating constrained random data with uniform distribution
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 13 July 2015, e8
-
- Article
-
- You have access
- Export citation