Small-step and big-step semantics for call-by-need.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 699, doi. 10.1017/S0956796809990219
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2009 AND VI 19 AND IP 6
Results: 5
1
2
A domain-specific language for experimental game theory.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 645, doi. 10.1017/S0956796809990220
- By:
- Publication type:
- Article
3
Essentials of Programming Languages (third edition).
- Published in:
- 2009
- By:
- Publication type:
- Book Review
4
Monadic constraint programming.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 663, doi. 10.1017/S0956796809990086
- By:
- Publication type:
- Article
5
Purely Functional 1-2 Brother Trees.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 633, doi. 10.1017/S0956796809007333
- By:
- Publication type:
- Article