PhD Abstracts
PhD Abstracts
- Part of:
-
- Published online by Cambridge University Press:
- 09 February 2015, e1
-
- Article
-
- You have access
- Export citation
Book Review
Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014.
-
- Published online by Cambridge University Press:
- 25 February 2015, e2
-
- Article
-
- You have access
- Export citation
Commercial Uses
CUFP'13 scribe's report
-
- Published online by Cambridge University Press:
- 16 March 2015, e3
-
- Article
-
- You have access
- Export citation
Functional Pearl
How to mingle streams
- Part of:
-
- Published online by Cambridge University Press:
- 16 March 2015, e4
-
- Article
-
- You have access
- Export citation
Articles
Indexed containers
- Part of:
-
- Published online by Cambridge University Press:
- 20 May 2015, e5
-
- Article
-
- You have access
- Export citation
Evaluation of splittable pseudo-random generators*
- Part of:
-
- Published online by Cambridge University Press:
- 17 June 2015, e6
-
- Article
-
- You have access
- Export citation
PhD Abstracts
PhD Abstracts
- Part of:
-
- Published online by Cambridge University Press:
- 02 July 2015, e7
-
- Article
-
- You have access
- Export citation
Articles
Generating constrained random data with uniform distribution
- Part of:
-
- Published online by Cambridge University Press:
- 13 July 2015, e8
-
- Article
-
- You have access
- Export citation
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Part of:
-
- Published online by Cambridge University Press:
- 13 July 2015, e9
-
- Article
-
- You have access
- Export citation
Efficient parallel and incremental parsing of practical context-free languages
- Part of:
-
- Published online by Cambridge University Press:
- 23 July 2015, e10
-
- Article
-
- You have access
- Export citation
Understanding beginners' mistakes with Haskell
- Part of:
-
- Published online by Cambridge University Press:
- 06 August 2015, e11
-
- Article
-
- You have access
- Export citation
Mtac: A monad for typed tactic programming in Coq
- Part of:
-
- Published online by Cambridge University Press:
- 24 August 2015, e12
-
- Article
-
- You have access
- Export citation
A representation theorem for second-order functionals
- Part of:
-
- Published online by Cambridge University Press:
- 08 September 2015, e13
-
- Article
-
- You have access
- Open access
- Export citation
Calculating correct compilers
- Part of:
-
- Published online by Cambridge University Press:
- 16 September 2015, e14
-
- Article
-
- You have access
- Export citation
Book Review
Review of “A functional start to computing with Python”, Ted Herman, CRC Press, 2014, ISBN 978-1-4665-0455-4
-
- Published online by Cambridge University Press:
- 08 October 2015, e15
-
- Article
-
- You have access
- HTML
- 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
-
- Published online by Cambridge University Press:
- 22 October 2015, e16
-
- Article
-
- You have access
- Export citation
Articles
Type-based amortized resource analysis with integers and arrays*
- Part of:
-
- Published online by Cambridge University Press:
- 29 October 2015, e17
-
- Article
-
- You have access
- Export citation
Verified decision procedures for MSO on words based on derivatives of regular expressions
- Part of:
-
- Published online by Cambridge University Press:
- 05 November 2015, e18
-
- Article
-
- You have access
- Export citation
Pure type systems with explicit substitutions
- Part of:
-
- Published online by Cambridge University Press:
- 09 November 2015, e19
-
- Article
-
- You have access
- Export citation
Interleaving data and effects
- Part of:
-
- Published online by Cambridge University Press:
- 20 November 2015, e20
-
- Article
-
- You have access
- Export citation