Consistency of the theory of contexts.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 327, doi. 10.1017/s0956796806005892
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2006 AND VI 16 AND IP 3
Results: 6
1
2
FUNCTIONAL PEARL: Enumerating the rationals.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 281, doi. 10.1017/s0956796806005880
- By:
- Publication type:
- Article
3
Gencel: a program generator for correct spreadsheetsThis work is partially supported by the National Science Foundation under the grant ITR-0325273 and by the EUSES Consortium (http://EUSESconsortium.org).
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 293, doi. 10.1017/s0956796805005794
- By:
- Publication type:
- Article
4
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 269, doi. 10.1017/s0956796805005782
- By:
- Publication type:
- Article
5
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 269, doi. 10.1017/s0956796805005782
- By:
- Publication type:
- Article
6
EDUCATIONAL PEARL: Automata via macros.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 253, doi. 10.1017/s0956796805005733
- By:
- Publication type:
- Article