'Semantics, Applications, and Implementation of Program Generation'.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 453, doi. 10.1017/s0956796802004677
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2003 AND VI 13 AND IP 3
Results: 9
1
2
Compiling for template-based run-time code generation.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 677, doi. 10.1017/s095679680200463x
- By:
- Publication type:
- Article
3
Pragmatic aspects of reusable program generators.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 601, doi. 10.1017/s0956796802004628
- By:
- Publication type:
- Article
4
Inlining as staged computation.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 647, doi. 10.1017/s0956796802004616
- By:
- Publication type:
- Article
5
Specification and correctness of lambda lifting.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 509, doi. 10.1017/s0956796802004604
- By:
- Publication type:
- Article
6
Closed types for a safe imperative MetaML.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 545, doi. 10.1017/s0956796802004598
- By:
- Publication type:
- Article
7
Program specialization for execution monitoring.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 573, doi. 10.1017/s0956796802004586
- By:
- Publication type:
- Article
8
Compiling embedded languages.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 455, doi. 10.1017/s0956796802004574
- By:
- Publication type:
- Article
9
AutoBayes: a system for generating data analysis programs from statistical models.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 3, p. 483, doi. 10.1017/s0956796802004562
- By:
- Publication type:
- Article