Finger trees: a simple general-purpose data structure.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 197, doi. 10.1017/s0956796805005769
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2006 AND VI 16 AND IP 2
Results: 8
1
2
Pure type systems with judgemental equality.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 219, doi. 10.1017/s0956796805005770
- By:
- Publication type:
- Article
3
The Standard ML Basis Library by Emden R. Gansner and John H. Reppy, editors, Cambridge University Press, 2004, 406pp.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 250, doi. 10.1017/s0956796805235815
- Publication type:
- Article
4
The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck, King's College Publications, 2004, ISBN 0-9543006-9-6.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 249, doi. 10.1017/s0956796805225819
- Publication type:
- Article
5
Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 247, doi. 10.1017/s0956796805215812
- Publication type:
- Article
6
A reflective functional language for hardware design and theorem proving.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 157, doi. 10.1017/s0956796805005757
- By:
- Publication type:
- Article
7
FUNCTIONAL PEARL: Marble mingling.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 129, doi. 10.1017/s095679680300474x
- By:
- Publication type:
- Article
8
Remarks on the equational theory of non-normalizing pure type systems.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 2, p. 137, doi. 10.1017/s0956796803004726
- By:
- Publication type:
- Article