Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 1, p. 135, doi. 10.1017/s0956796899009892
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2000 AND VI 10 AND IP 1
Results: 4
1
2
Girard translation and logical predicates.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 1, p. 77, doi. 10.1017/s0956796899003615
- By:
- Publication type:
- Article
3
A visualisation of polymorphic type checking.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 1, p. 57, doi. 10.1017/s0956796899003597
- By:
- Publication type:
- Article
4
Distributed communication in ML.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 1, p. 91, doi. 10.1017/s0956796899003275
- By:
- Publication type:
- Article