-
3
-
-
0029713792
-
Subtyping dependent types
-
New Brunswick, New Jersey, USA, July, Long version to appear in Theoretical Computer Science
-
D. Aspinall and A. Compagnoni. Subtyping dependent types. In Eleventh Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 1996. Long version to appear in Theoretical Computer Science.
-
(1996)
Eleventh Annual IEEE Symposium on Logic in Computer Science
-
-
Aspinall, D.1
Compagnoni, A.2
-
4
-
-
0000807910
-
A filter lambda model and the completeness of type assignment
-
H. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48(4):931-940, 1983.
-
(1983)
Journal of Symbolic Logic
, vol.48
, Issue.4
, pp. 931-940
-
-
Barendregt, H.1
Coppo, M.2
Dezani-Ciancaglini, M.3
-
5
-
-
0026190144
-
Inheritance as implicit coercion
-
V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172-221, 1991.
-
(1991)
Information and Computation
, vol.93
, pp. 172-221
-
-
Breazu-Tannen, V.1
Coquand, T.2
Gunter, C.3
Scedrov, A.4
-
7
-
-
0025462449
-
A modest model of records, inheritance, and bounded quantification
-
K. B. Bruce and G. Longo. A modest model of records, inheritance, and bounded quantification. Information and Computation, 87:196-240, 1990.
-
(1990)
Information and Computation
, vol.87
, pp. 196-240
-
-
Bruce, K.B.1
Longo, G.2
-
8
-
-
0023961010
-
A semantics of multiple inheritance
-
L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138-164, 1988.
-
(1988)
Information and Computation
, vol.76
, pp. 138-164
-
-
Cardelli, L.1
-
11
-
-
84976189160
-
Operations on records
-
Also in [23], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the proceedings of MFPS’89, Springer LNCS volume 442
-
L. Cardelli and J. Mitchell. Operations on records. Mathematical Structures in Computer Science, 1:3-48, 1991. Also in [23], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the proceedings of MFPS’89, Springer LNCS volume 442.
-
(1991)
Mathematical Structures in Computer Science
, vol.1
, pp. 3-48
-
-
Cardelli, L.1
Mitchell, J.2
-
12
-
-
0022333721
-
On understanding types, data abstraction, and polymorphism. Computing Surveys
-
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), Dec. 1985.
-
(1985)
17(4)
-
-
Cardelli, L.1
Wegner, P.2
-
13
-
-
84888881441
-
-
PhD thesis, University of Edinburgh, Forthcoming Thesis. Supervisor: Prof. S. Abramsky
-
J. Chroboczek. Game Semantics and Subtyping. PhD thesis, University of Edinburgh, 1999. Forthcoming Thesis. Supervisor: Prof. S. Abramsky.
-
(1999)
Game Semantics and Subtyping
-
-
Chroboczek, J.1
-
15
-
-
0003922693
-
-
Technical Report ECS-LFCS-97-361, University of Edinburgh, July, ubmitted to Information and Computation
-
A. Compagnoni and H. Goguen. Typed operational semantics for higher order subtyping. Technical Report ECS-LFCS-97-361, University of Edinburgh, July 1997. ubmitted to Information and Computation.
-
(1997)
Typed Operational Semantics for Higher Order Subtyping
-
-
Compagnoni, A.1
Goguen, H.2
-
16
-
-
0003922695
-
-
PhD thesis, University of Nijmegen, The Netherlands, Jan, Supervisor: Prof. Barendregt. ISBN 90-9007860-6
-
A. B. Compagnoni. Higher-Order Subtyping with Intersection Types. PhD thesis, University of Nijmegen, The Netherlands, Jan 1995. Supervisor: Prof. Barendregt. ISBN 90-9007860-6.
-
(1995)
Higher-Order Subtyping with Intersection Types
-
-
Compagnoni, A.B.1
-
19
-
-
85027618646
-
Subtyping + extensionality: Confluence of βη-reductions in F≤
-
T. Ito and A. R. Meyer, editors, in Lecture Notes in Computer Science, Springer-Verlag, Sept
-
≤. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software (Sendai, Japan), number 526 in Lecture Notes in Computer Science, pages 731-749. Springer-Verlag, Sept. 1991.
-
(1991)
Theoretical Aspects of Computer Software (Sendai, Japan)
, vol.526
, pp. 731-749
-
-
Curien, P.-L.1
Ghelli, G.2
-
30
-
-
0031119355
-
Higher-order subtyping
-
corrigendum in TCS vol. 184 (1997), p. 247
-
B. Pierce and M. Steffen. Higher-order subtyping. Theoretical Computer Science, 176(1-2) 235-282, 1997. corrigendum in TCS vol. 184 (1997), p. 247.
-
(1997)
Theoretical Computer Science
, vol.176
, Issue.1-2
, pp. 235-282
-
-
Pierce, B.1
Steffen, M.2
-
32
-
-
0004020010
-
-
Technical Report 492, Computer Science Department, Indiana University
-
B. C. Pierce. Bounded quantification with bottom. Technical Report 492, Computer Science Department, Indiana University, 1997.
-
(1997)
Bounded Quantification with Bottom
-
-
Pierce, B.C.1
-
33
-
-
0012623741
-
-
Lehrstuhl für Informatik VII, Friedrich Alexander Universität Erlangen-Nürnberg
-
M. Steffen. Polarized Higher-Order Subtyping. PhD thesis, Lehrstuhl für Informatik VII, Friedrich Alexander Universität Erlangen-Nürnberg, 1998.
-
(1998)
Polarized Higher-Order Subtyping. Phd Thesis
-
-
Steffen, M.1
-
34
-
-
33750690061
-
Equational axiomatization of bicoercibility for polymorphic types
-
A. Compagnoni and H. Goguen
-
J. Tiuryn. Equational axiomatization of bicoercibility for polymorphic types. In Proceedings of FST-TCS’95, 1995. 436 A. Compagnoni and H. Goguen
-
(1995)
Proceedings of FST-TCS’95
, pp. 436
-
-
Tiuryn, J.1
|