An Introduction to Formal Specification and Z.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 375, doi. 10.1017/S0956796800001738
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1996 AND VI 6 AND IP 2
Results: 10
1
2
Functional Pearl Deduction for functional programmers.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 365, doi. 10.1017/S0956796800001726
- By:
- Publication type:
- Article
3
Predictive parser combinators need four values to report errors.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 355, doi. 10.1017/S0956796800001714
- By:
- Publication type:
- Article
4
Formal basis for the refinement of rule based transition systems.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 329, doi. 10.1017/S0956796800001702
- By:
- Publication type:
- Article
5
A confluent reduction for the λ-calculus with surjective pairing and terminal object.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 299, doi. 10.1017/S0956796800001696
- By:
- Publication type:
- Article
6
Generating action compilers by partial evaluation.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 269, doi. 10.1017/S0956796800001684
- By:
- Publication type:
- Article
7
Canonical typing and ∏-conversion in the Barendregt Cube.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 245, doi. 10.1017/S0956796800001672
- By:
- Publication type:
- Article
8
Reference counting as a computational interpretation of linear logic.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. 195, doi. 10.1017/S0956796800001660
- By:
- Publication type:
- Article
9
JFP volume 6 issue 2 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. b1, doi. 10.1017/S0956796800001659
- Publication type:
- Article
10
JFP volume 6 issue 2 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 2, p. f1, doi. 10.1017/S0956796800001647
- Publication type:
- Article