Inductive Synthesis of Functional Programs.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
Works matching IS 09567968 AND DT 2007 AND VI 17 AND IP 3
Results: 7
1
2
The Haskell School of Expression.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
3
Programming Languages and Operational Semantics.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
4
SMIL 2.0 Interactive Multimedia for Web and Mobile Devices.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
5
Warnings for pattern matching.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 3, p. 387, doi. 10.1017/S0956796807006223
- By:
- Publication type:
- Article
6
An object-oriented calculus with term constraints.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 3, p. 353, doi. 10.1017/S0956796806006174
- By:
- Publication type:
- Article
7
A module calculus for Pure Type Systems.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 3, p. 287, doi. 10.1017/S0956796806005867
- By:
- Publication type:
- Article