Lambda and pi calculi, CAM and SECD machines.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 101, doi. 10.1017/s0956796804005386
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2005 AND VI 15 AND IP 1
Results: 6
1
2
An intuitionistic ?-calculus with exceptions.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 33, doi. 10.1017/s0956796804005362
- By:
- Publication type:
- Article
3
Web programming in Scheme with LAML.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 53, doi. 10.1017/s0956796804005350
- By:
- Publication type:
- Article
4
THEORETICAL PEARL Church numerals, twice!
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 1, doi. 10.1017/s0956796804005313
- By:
- Publication type:
- Article
5
Non-determinism analyses in a parallel-functional language.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 67, doi. 10.1017/s0956796804005295
- By:
- Publication type:
- Article
6
Models for machine learning and data mining in functional programming.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 1, p. 15, doi. 10.1017/s0956796804005301
- By:
- Publication type:
- Article