-
3
-
-
0042225946
-
-
Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
GORDON, M., MILNER, R., AND WADSWORTH, C. 1979. Edinburgh LCF. Lecture Notes in Computer Science, vol. 78. Springer-Verlag, Berlin.
-
(1979)
Edinburgh LCF
, vol.78
-
-
Gordon, M.1
Milner, R.2
Wadsworth, C.3
-
4
-
-
0041901192
-
-
Tech. Rep. CMU-CS-93-160, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa. May
-
GREINER, J. 1993. Standard ML weak polymorphism can be sound. Tech. Rep. CMU-CS-93-160, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa. May.
-
(1993)
Standard ML Weak Polymorphism Can Be Sound
-
-
Greiner, J.1
-
5
-
-
0028479982
-
A simplified account of polymorphic references
-
HARPER, R. 1994. A simplified account of polymorphic references. Inf. Process. Lett. 51, 201-206.
-
(1994)
Inf. Process. Lett.
, vol.51
, pp. 201-206
-
-
Harper, R.1
-
6
-
-
0012735041
-
A note on "A simplified account of polymorphic references."
-
HARPER, R. 1996. A note on "A simplified account of polymorphic references." Inf. Process. Lett. 57, 15-16.
-
(1996)
Inf. Process. Lett.
, vol.57
, pp. 15-16
-
-
Harper, R.1
-
7
-
-
0027242776
-
Standard ML/NJ weak polymorphism and imperative constructs
-
IEEE, New York
-
HOANG, M., MITCHELL, J., AND VISWANATHAN, R. 1993. Standard ML/NJ weak polymorphism and imperative constructs. In Proceedings of the 8th IEEE Symposium on Logic in Computer Science. IEEE, New York.
-
(1993)
Proceedings of the 8th IEEE Symposium on Logic in Computer Science
-
-
Hoang, M.1
Mitchell, J.2
Viswanathan, R.3
-
11
-
-
84947907566
-
Towards an ML-style polymorphic type system for C
-
Lecture Notes in Computer Science. Springer-Verlag, Berlin. To appear
-
SMITH, G. AND VOLPANO, D. 1996. Towards an ML-style polymorphic type system for C. In Proceedings of the 6th European Symposium on Programming. Lecture Notes in Computer Science. Springer-Verlag, Berlin. To appear.
-
(1996)
Proceedings of the 6th European Symposium on Programming
-
-
Smith, G.1
Volpano, D.2
-
13
-
-
0025518981
-
Type inference for polymorphic references
-
TOFTE, M. 1990. Type inference for polymorphic references. Inf. Comput. 89, 1-34.
-
(1990)
Inf. Comput.
, vol.89
, pp. 1-34
-
-
Tofte, M.1
-
14
-
-
0041400173
-
A type soundness proof for variables in LCF ML
-
VOLPANO, D. AND SMITH, G. 1995. A type soundness proof for variables in LCF ML. Inf. Process. Lett. 56, 141-146.
-
(1995)
Inf. Process. Lett.
, vol.56
, pp. 141-146
-
-
Volpano, D.1
Smith, G.2
-
15
-
-
1542482018
-
-
Tech. Rep. NPS-CS-96-003, Computer Science Dept., Naval Postgraduate School, Monterey, Calif.
-
VOLPANO, D. AND SMITH, G. 1996. A note on typing variables and references. Tech. Rep. NPS-CS-96-003, Computer Science Dept., Naval Postgraduate School, Monterey, Calif.
-
(1996)
A Note on Typing Variables and References
-
-
Volpano, D.1
Smith, G.2
-
16
-
-
85027599094
-
Typing references by effect inference
-
Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
WRIGHT, A. 1992. Typing references by effect inference. In Proceedings of the 4th European Symposium on Programming. Lecture Notes in Computer Science, vol. 582. Springer-Verlag, Berlin, 473-491.
-
(1992)
Proceedings of the 4th European Symposium on Programming
, vol.582
, pp. 473-491
-
-
Wright, A.1
-
17
-
-
0347729142
-
-
Tech. Rep. TR 93-200, Dept. of Computer Science, Rice Univ., Houston, Tex.
-
WRIGHT, A. 1993. Polymorphism for imperative languages without imperative types. Tech. Rep. TR 93-200, Dept. of Computer Science, Rice Univ., Houston, Tex.
-
(1993)
Polymorphism for Imperative Languages Without Imperative Types
-
-
Wright, A.1
-
18
-
-
0001020708
-
Simple imperative polymorphism
-
WRIGHT, A. 1995. Simple imperative polymorphism. J. Lisp Symb. Comput. 8, 4 (Dec.), 343-356.
-
(1995)
J. Lisp Symb. Comput.
, vol.8
, Issue.4 DEC
, pp. 343-356
-
-
Wright, A.1
-
19
-
-
0003025818
-
A syntactic approach to type soundness
-
WRIGHT, A. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115, 1 (Nov.), 38-94.
-
(1994)
Inf. Comput.
, vol.115
, Issue.1 NOV
, pp. 38-94
-
-
Wright, A.1
Felleisen, M.2
|