Works matching IS 09601295 AND DT 1998 AND VI 8 AND IP 4
Results: 2
A categorical model for higher order imperative programming.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 4, p. 351, doi. 10.1017/s0960129598002552
- By:
- Publication type:
- Article
A computationally adequate model for overloading via domain-valued functors.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 4, p. 321, doi. 10.1017/s0960129598002539
- By:
- Publication type:
- Article