Countdown: A case study in origami programming.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 679, doi. 10.1017/s0956796805005642
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2005 AND VI 15 AND IP 5
Results: 6
1
2
EDUCATIONAL PEARL: A Nanopass framework for compiler education.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 653, doi. 10.1017/s0956796805005605
- By:
- Publication type:
- Article
3
Quantitative static analysis of distributed systems.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 703, doi. 10.1017/s0956796805005599
- By:
- Publication type:
- Article
4
Typed $\lambda$-calculi with one binder.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 771, doi. 10.1017/s095679680500554x
- By:
- Publication type:
- Article
5
Skribe: a functional authoring language.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 751, doi. 10.1017/s0956796805005575
- By:
- Publication type:
- Article
6
THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 5, p. 669, doi. 10.1017/s0956796805005587
- By:
- Publication type:
- Article