Normalization by evaluation with typed abstract syntax.
- Published in:
- Journal of Functional Programming, 2001, v. 11, n. 6, p. 673, doi. 10.1017/S0956796801004166
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2001 AND VI 11 AND IP 6
Results: 3
1
2
Monadic encapsulation of effects: a revised approach (extended version).
- Published in:
- Journal of Functional Programming, 2001, v. 11, n. 6, p. 591, doi. 10.1017/S0956796801004154
- By:
- Publication type:
- Article
3
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger.
- Published in:
- Journal of Functional Programming, 2001, v. 11, n. 6, p. 629, doi. 10.1017/S095679680100418X
- By:
- Publication type:
- Article