-
1
-
-
84948975211
-
On subtyping and matching
-
Springer
-
M. Abadi, L. Cardelli, On subtyping and matching, in: ECOOP'95, Springer, 1995, pp. 145-167.
-
(1995)
ECOOP'95
, pp. 145-167
-
-
Abadi, M.1
Cardelli, L.2
-
4
-
-
0029713792
-
Subtyping dependent types
-
July, IEEE, New Brunswick, NJ
-
D. Aspinall, A. Compagnoni, Subtyping dependent types, in: 11th Annual Symposium on Logic in Computer Science, July 1996, IEEE, New Brunswick, NJ.
-
(1996)
11th Annual Symposium on Logic in Computer Science
-
-
Aspinall, D.1
Compagnoni, A.2
-
6
-
-
0001439401
-
Lambda calculi with types
-
S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Clarendon Press, Oxford
-
H. Barendregt, Lambda calculi with types, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, vol. 2, Clarendon Press, Oxford, 1992, pp. 117-309.
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 117-309
-
-
Barendregt, H.1
-
7
-
-
0000807910
-
A filter lambda model and the completeness of type assignment
-
H. Barendregt, M. Coppo, M. Dezani-Ciancaglini, A filter lambda model and the completeness of type assignment, J. Symbolic Logic 48 (4) (1983) 931-940.
-
(1983)
J. Symbolic Logic
, vol.48
, Issue.4
, pp. 931-940
-
-
Barendregt, H.1
Coppo, M.2
Dezani-Ciancaglini, M.3
-
9
-
-
0025462449
-
A modest model of records, inheritance, and bounded quantification
-
K.B. Bruce, G. Longo, A modest model of records, inheritance, and bounded quantification, Inf. Comput. 87 (1990) 196-240.
-
(1990)
Inf. Comput.
, vol.87
, pp. 196-240
-
-
Bruce, K.B.1
Longo, G.2
-
10
-
-
0026995981
-
PER models of subtyping, recursive types and higher-order polymorphism
-
Albequerque, NM, January
-
K.B. Bruce, J. Mitchell, PER models of subtyping, recursive types and higher-order polymorphism, in: Proceedings of the 19th ACM Symposium on Principles of Programming Languages, Albequerque, NM, January 1992.
-
(1992)
Proceedings of the 19th ACM Symposium on Principles of Programming Languages
-
-
Bruce, K.B.1
Mitchell, J.2
-
11
-
-
0002187650
-
PolyTOIL: A type-safe polymorphic object-oriented language
-
Springer
-
K.B. Bruce, A. Schuett, R. van Gent, PolyTOIL: a type-safe polymorphic object-oriented language, in: ECOOP'95, Springer, 1995.
-
(1995)
ECOOP'95
-
-
Bruce, K.B.1
Schuett, A.2
Van Gent, R.3
-
12
-
-
0023961010
-
A semantics of multiple inheritance
-
L. Cardelli, A semantics of multiple inheritance, Inf. Comput. 76 (1988) 138-164.
-
(1988)
Inf. Comput.
, vol.76
, pp. 138-164
-
-
Cardelli, L.1
-
13
-
-
85031998445
-
Types for data-oriented languages
-
First Conference on Extending Database Technology, Springer
-
L. Cardelli, Types for data-oriented languages, First Conference on Extending Database Technology, Lecture Notes in Computer Science, vol. 303, Springer, 1988.
-
(1988)
Lecture Notes in Computer Science
, vol.303
-
-
Cardelli, L.1
-
14
-
-
0003742444
-
-
October, Unpublished manuscript
-
ω, October 1990, Unpublished manuscript.
-
(1990)
ω
-
-
Cardelli, L.1
-
16
-
-
85031136398
-
Extensible records in a pure calculus of subtyping
-
DEC Systems Research Center, January, Also in [37]
-
L. Cardelli, Extensible records in a pure calculus of subtyping, Research Report 81, DEC Systems Research Center, January 1992, Also in [37].
-
(1992)
Research Report
, vol.81
-
-
Cardelli, L.1
-
17
-
-
84974399408
-
A semantic basis for quest
-
L. Cardelli, G. Longo, A semantic basis for quest, J. Funct. Program. 1 (4) (1991) 417-458.
-
(1991)
J. Funct. Program.
, vol.1
, Issue.4
, pp. 417-458
-
-
Cardelli, L.1
Longo, G.2
-
19
-
-
0022333721
-
On understanding types data abstraction and polymorphism
-
Also in [37], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the Proceedings of MFPS'89, Lecture Notes in Computer Science, vol. 442, Springer
-
L. Cardelli, P. Wegner, On understanding types data abstraction and polymorphism (Also in [37], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the Proceedings of MFPS'89, Lecture Notes in Computer Science, vol. 442, Springer), Comput. Surv. 17 (4) (1985).
-
(1985)
Comput. Surv.
, vol.17
, Issue.4
-
-
Cardelli, L.1
Wegner, P.2
-
21
-
-
0003922693
-
Typed operational semantics for higher order subtyping
-
University of Edinburgh, July
-
A.B. Compagnoni, H. Goguen, Typed operational semantics for higher order subtyping. Technical Report ECS-LFCS-97-361, University of Edinburgh, July 1997.
-
(1997)
Technical Report
, vol.ECS-LFCS-97-361
-
-
Compagnoni, A.B.1
Goguen, H.2
-
22
-
-
0012674665
-
Decidability of higher-order subtyping with intersection types
-
CSL'94, Springer-Berlin
-
A.B. Compagnoni, Decidability of higher-order subtyping with intersection types, in: CSL'94, Lecture Notes in Computer Science, vol. 933, Springer-Berlin, 1995.
-
(1995)
Lecture Notes in Computer Science
, vol.933
-
-
Compagnoni, A.B.1
-
23
-
-
0003922695
-
-
PhD thesis, University of Nijmegen, The Netherlands, January, Supervisor: Prof. Barendregt. ISBN 90-9007860-6
-
A.B. Compagnoni, Higher-order subtyping with intersection types, PhD thesis, University of Nijmegen, The Netherlands, January 1995, Supervisor: Prof. Barendregt. ISBN 90-9007860-6.
-
(1995)
Higher-order Subtyping with Intersection Types
-
-
Compagnoni, A.B.1
-
24
-
-
11444252017
-
Anti-symmetry of higher-order subtyping
-
Preliminary version available as University of Edinburgh Technical Report ECS-LFCS-94-281, January 1994, Proceedings of Computer Science Logic, Springer
-
A.B. Compagnoni, H. Goguen, Anti-symmetry of higher-order subtyping (Preliminary version available as University of Edinburgh Technical Report ECS-LFCS-94-281, January 1994), in: Proceedings of Computer Science Logic, Lecture Notes in Computer Science, vol. 1683, Springer, 1999.
-
(1683)
Lecture Notes in Computer Science
, pp. 1999
-
-
Compagnoni, A.B.1
Goguen, H.2
-
25
-
-
0041345647
-
Higher-order intersection types and multiple inheritance
-
A.B. Compagnoni, B.C. Pierce, Higher-order intersection types and multiple inheritance, Math. Struct. Comput. Sci. 6 (1996) 469-501.
-
(1996)
Math. Struct. Comput. Sci.
, vol.6
, pp. 469-501
-
-
Compagnoni, A.B.1
Pierce, B.C.2
-
26
-
-
0001610169
-
An algorithm for testing conversion in type theory
-
G. Huet, G. Plotkin (Eds.), Cambridge University Press
-
T. Coquand, An algorithm for testing conversion in type theory, in; G. Huet, G. Plotkin (Eds.), Logical Frameworks, Cambridge University Press, 1991.
-
(1991)
Logical Frameworks
-
-
Coquand, T.1
-
28
-
-
84957023546
-
An applicative module calculus
-
Theory and Practice of Software Development 97, Springer
-
J. Courant, An applicative module calculus, in: Theory and Practice of Software Development 97, Lecture Notes in Computer Science, Springer, 1997.
-
(1997)
Lecture Notes in Computer Science
-
-
Courant, J.1
-
33
-
-
21844519499
-
The metatheory of UTT
-
Types for Proofs and Programs, Springer, Baastad, Sweden
-
H. Goguen, The metatheory of UTT, in: Types for Proofs and Programs, Lecture Notes in Computer Science, vol. 996, Springer, Baastad, Sweden, 1995, pp. 60-82.
-
(1995)
Lecture Notes in Computer Science
, vol.996
, pp. 60-82
-
-
Goguen, H.1
-
34
-
-
84947427953
-
Typed operational semantics
-
Proceedings of the International Conference on Typed Lambda Calculi and Applications, Springer
-
H. Goguen, Typed operational semantics, in: Proceedings of the International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, vol. 902, Springer, 1995, pp. 186-200.
-
(1995)
Lecture Notes in Computer Science
, vol.902
, pp. 186-200
-
-
Goguen, H.1
-
35
-
-
0041846321
-
A Kripke-style model for the admissibility of structural rules
-
Springer
-
H. Goguen, A Kripke-style model for the admissibility of structural rules, in: Proceedings of TYPES, vol. 2277, Springer, 2000.
-
(2000)
Proceedings of TYPES
, vol.2277
-
-
Goguen, H.1
-
37
-
-
0004180902
-
-
The MIT Press
-
C.A. Gunter, J.C. Mitchell, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, The MIT Press, 1994.
-
(1994)
Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design
-
-
Gunter, C.A.1
Mitchell, J.C.2
-
38
-
-
0028022239
-
A type-theoretic approach to higher-order modules with sharing
-
Portland, OR, January
-
R. Harper, M. Lillibridge, A type-theoretic approach to higher-order modules with sharing, in: Proceedings of the 21st ACM Symposium on Principles of Programming Languages, Portland, OR, January 1994, pp. 123-137.
-
(1994)
Proceedings of the 21st ACM Symposium on Principles of Programming Languages
, pp. 123-137
-
-
Harper, R.1
Lillibridge, M.2
-
39
-
-
84958969382
-
Some algorithmic and proof - Theoretical aspects of coercive subtyping
-
E. Giménez, C. Paulin-Mohring (Eds.), Proceedings of TYPES'96
-
A. Jones, Z. Luo, S. Soloviev, Some algorithmic and proof - theoretical aspects of coercive subtyping, in: E. Giménez, C. Paulin-Mohring (Eds.), in: Proceedings of TYPES'96, Lecture Notes in Computer Science, vol. 1512, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1512
-
-
Jones, A.1
Luo, Z.2
Soloviev, S.3
-
40
-
-
84959654733
-
A system of constructor classes: Overloading and implicit higher-order polymorphism
-
M.P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, J. Funct. Prog. 5 (1) (1995) 1-35.
-
(1995)
J. Funct. Prog.
, vol.5
, Issue.1
, pp. 1-35
-
-
Jones, M.P.1
-
44
-
-
84956862427
-
Pure type systems formalized
-
M. Bezem, J.F. Groote (Eds.), Proceedings of the International Conference on Typed Lambda Calculi and Applications, Springer
-
J. McKinna, R. Pollack, Pure type systems formalized, in: M. Bezem, J.F. Groote (Eds.), in: Proceedings of the International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, vol. 664, Springer, 1993, pp. 289-305.
-
(1993)
Lecture Notes in Computer Science
, vol.664
, pp. 289-305
-
-
McKinna, J.1
Pollack, R.2
-
45
-
-
0002165219
-
Type systems for programming languages
-
J. van Leeuwen (Ed.), North-Holland, Amsterdam
-
J. Mitchell, Type systems for programming languages, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, North-Holland, Amsterdam, 1990.
-
(1990)
Handbook of Theoretical Computer Science
-
-
Mitchell, J.1
-
49
-
-
0003732392
-
Programming with intersection types and bounded polymorphism
-
PhD thesis, Carnegie Mellon University, December
-
B.C. Pierce, Programming with intersection types and bounded polymorphism, PhD thesis, Carnegie Mellon University, December 1991, Available as School of Computer Science Technical Report CMU-CS-91-205.
-
(1991)
School of Computer Science Technical Report
, vol.CMU-CS-91-205
-
-
Pierce, B.C.1
-
50
-
-
0004260444
-
-
PhD thesis, University of Edinburgh, June
-
C. Russo, Types for modules. PhD thesis, University of Edinburgh, June 1998
-
(1998)
Types for Modules
-
-
Russo, C.1
-
52
-
-
0001748856
-
Intensional interpretation of functionals of finite type I
-
W.W. Tait, Intensional interpretation of functionals of finite type I, J. Symbolic Logic 32 (1967).
-
(1967)
J. Symbolic Logic
, vol.32
-
-
Tait, W.W.1
-
53
-
-
0001372112
-
Parallel reductions in λ-calculus
-
M. Takahashi, Parallel reductions in λ-calculus, Inf. Comput. 118 (1995) 120-127.
-
(1995)
Inf. Comput.
, vol.118
, pp. 120-127
-
-
Takahashi, M.1
-
54
-
-
0023210290
-
Complete type inference for simple objects
-
E.G. Manes (Ed.), Proceedings of the IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Ithaca, NY
-
M. Wand, Complete type inference for simple objects, in: E.G. Manes (Ed.), in: Proceedings of the IEEE Symposium on Logic in Computer Science, Lecture Notes in Computer Science, vol. 25, IEEE Computer Society Press, Ithaca, NY, 1987, pp. 37-44.
-
(1987)
Lecture Notes in Computer Science
, vol.25
, pp. 37-44
-
-
Wand, M.1
|