Teaching types with a cognitively effective worked example format.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796814000021
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2015 AND VI 25
Results: 10
1
2
Evaluation of splittable pseudo-random generators.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S095679681500012X
- By:
- Publication type:
- Article
3
Interleaving data and effects.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000209
- By:
- Publication type:
- Article
4
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000155
- By:
- Publication type:
- Article
5
How to mingle streams.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000064
- By:
- Publication type:
- Article
6
Indexed containers.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S095679681500009X
- By:
- Publication type:
- Article
7
Thinking Functionally with Haskell.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
8
Generating constrained random data with uniform distribution.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000143
- By:
- Publication type:
- Article
9
PhD Abstracts.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000283
- By:
- Publication type:
- Article
10
CUFP'13 scribe's report.
- Published in:
- Journal of Functional Programming, 2015, v. 25, p. N.PAG, doi. 10.1017/S0956796815000052
- By:
- Publication type:
- Article