-
3
-
-
0022075207
-
Galileo: A strongly typed, interactive conceptual language
-
A. Albano, L. Cardelli, and R. Orsini Galileo: a strongly typed, interactive conceptual language ACM Transactions on Database Systems 10 2 1985 230 260
-
(1985)
ACM Transactions on Database Systems
, vol.10
, Issue.2
, pp. 230-260
-
-
Albano, A.1
Cardelli, L.2
Orsini, R.3
-
4
-
-
0012731569
-
Fibonacci: A programming language for object databases
-
A. Albano, G. Ghelli, and R. Orsini Fibonacci: a programming language for object databases VLDB Journal 4 3 1995 403 444
-
(1995)
VLDB Journal
, vol.4
, Issue.3
, pp. 403-444
-
-
Albano, A.1
Ghelli, G.2
Orsini, R.3
-
6
-
-
0001214960
-
Metric interpretations of infinite trees and semantics of non deterministic recursive programs
-
A. Arnold, and M. Nivat Metric interpretations of infinite trees and semantics of non deterministic recursive programs Theoretical Computer Science 11 2 1980 181 205
-
(1980)
Theoretical Computer Science
, vol.11
, Issue.2
, pp. 181-205
-
-
Arnold, A.1
Nivat, M.2
-
7
-
-
0031605775
-
Compiling standard ML to java bytecodes
-
N. Benton, A. Kennedy, G. Russel, Compiling standard ML to java bytecodes, in: Proceedings of ACM SIGPLAN International Conference on Functional Programming, 1998, pp. 129-140
-
(1998)
Proceedings of ACM SIGPLAN International Conference on Functional Programming
, pp. 129-140
-
-
Benton, N.1
Kennedy, A.2
Russel, G.3
-
9
-
-
84957635439
-
Comparing object encodings
-
September
-
K.B. Bruce, L. Cardelli, B.C. Pierce, Comparing object encodings, in: Proceedings of Theoretical Aspects of Computer Software, September 1996, pp. 415-438
-
(1996)
Proceedings of Theoretical Aspects of Computer Software
, pp. 415-438
-
-
Bruce, K.B.1
Cardelli, L.2
Pierce, B.C.3
-
10
-
-
0022333721
-
On understanding types, data abstraction, and polymorphism
-
L. Cardelli, and P. Wegner On understanding types, data abstraction, and polymorphism Computing Surveys 17 4 1985 471 522
-
(1985)
Computing Surveys
, vol.17
, Issue.4
, pp. 471-522
-
-
Cardelli, L.1
Wegner, P.2
-
11
-
-
0003742444
-
-
October Unpublished manuscript
-
L. Cardelli, Notes about F <: ω, October 1990, Unpublished manuscript
-
(1990)
ω
-
-
Cardelli, L.1
-
13
-
-
0003019966
-
An extension of system F with subtyping
-
L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov, An extension of system F with subtyping, Information and Computation 109(1-2) (1994) 4-56, Preliminary version in TACS '91 (Sendai, Japan, pp. 750-770
-
(1994)
Information and Computation
, vol.109
, Issue.1-2
, pp. 4-56
-
-
Cardelli, L.1
Martini, S.2
Mitchell, J.C.3
Scedrov, A.4
-
14
-
-
0003019966
-
-
Sendai, Japan
-
L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov, An extension of system F with subtyping, Information and Computation 109(1-2) (1994) 4-56, Preliminary version in TACS '91 (Sendai, Japan, pp. 750-770)
-
Preliminary Version in TACS '91
, pp. 750-770
-
-
-
15
-
-
84923047205
-
Relational semantics for recursive types and bounded quantification
-
LNCS
-
F. Cardone, Relational semantics for recursive types and bounded quantification, in: Proceedings of International Colloquium on Automata, Languages, and Programmng, LNCS, 1989, pp. 164-178
-
(1989)
Proceedings of International Colloquium on Automata, Languages, and Programmng
, pp. 164-178
-
-
Cardone, F.1
-
19
-
-
0023981884
-
Type theories and object-oriented programming
-
S. Danforth, and C. Tomlinson Type theories and object-oriented programming ACM Computing Surveys 20 1 1988 29 72
-
(1988)
ACM Computing Surveys
, vol.20
, Issue.1
, pp. 29-72
-
-
Danforth, S.1
Tomlinson, C.2
-
20
-
-
0029454104
-
The development of type systems for object-oriented languages
-
K. Fisher, and J. Mitchell The development of type systems for object-oriented languages Theory and Practice of Object Systems 1 3 1996 189 220
-
(1996)
Theory and Practice of Object Systems
, vol.1
, Issue.3
, pp. 189-220
-
-
Fisher, K.1
Mitchell, J.2
-
21
-
-
0034538769
-
Recursive subtyping revealed: Functional pearl
-
V. Gapejev, M.Y. Levin, B.C. Pierce, Recursive subtyping revealed: functional pearl, in: Proceedings of ACM SIGPLAN International Conference on Functional Programming, 2000, 1995, pp. 221-231
-
(1995)
Proceedings of ACM SIGPLAN International Conference on Functional Programming
, pp. 221-231
-
-
Gapejev, V.1
Levin, M.Y.2
Pierce, B.C.3
-
22
-
-
17144386490
-
Modelling features of object-oriented languages in second order functional languages with subtypes
-
G. Ghelli, Modelling features of object-oriented languages in second order functional languages with subtypes, in: REX Workshop, 1990, pp. 311-340
-
(1990)
REX Workshop
, pp. 311-340
-
-
Ghelli, G.1
-
25
-
-
0003693152
-
Proof theoretic studies about a minimal type system integrating inclusion and parametric polymorphism
-
PhD thesis, Dipartimento di Informatica, Università di Pisa, March
-
G. Ghelli, Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism, PhD thesis, Dipartimento di Informatica, Università di Pisa, March 1990, Tech. Rep. TD-6/90
-
(1990)
Tech. Rep.
, vol.TD-6-90
-
-
Ghelli, G.1
-
27
-
-
0003630848
-
-
Edinburgh LCF Springer-Verlag, Berlin
-
M.H. Gordon, R.M. Milner, C. Wadsworth, Edinburgh LCF, Volume 78 of LNCS, Springer-Verlag, Berlin, 1979
-
(1979)
LNCS
, vol.78
-
-
Gordon, M.H.1
Milner, R.M.2
Wadsworth, C.3
-
30
-
-
0034871630
-
A symbolic labelled transition system for coinductive subtyping of f-mu-sub types
-
A.S.A. Jeffrey, A symbolic labelled transition system for coinductive subtyping of f-mu-sub types, in: Proceedings of IEEE Symposium on Logic in Computer Science, 2001, pp. 323-333
-
(2001)
Proceedings of IEEE Symposium on Logic in Computer Science
, pp. 323-333
-
-
Jeffrey, A.S.A.1
-
32
-
-
17644383591
-
-
personal communication
-
A. Kennedy, personal communication, 1998
-
(1998)
-
-
Kennedy, A.1
-
33
-
-
0027147993
-
Efficient recursive subtyping
-
D. Kozen, J. Palsberg, M.I. Schwartzbach, Efficient recursive subtyping, in: Proceedings of ACM Symposium on Principles of Programming Languages, 1993, pp. 419-428
-
(1993)
Proceedings of ACM Symposium on Principles of Programming Languages
, pp. 419-428
-
-
Kozen, D.1
Palsberg, J.2
Schwartzbach, M.I.3
-
35
-
-
0003102688
-
Bounded quantification is undecidable
-
B.C. Pierce Bounded quantification is undecidable Information and Computation 112 1 1994 131 165
-
(1994)
Information and Computation
, vol.112
, Issue.1
, pp. 131-165
-
-
Pierce, B.C.1
-
36
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its applications
-
A. Tarski A lattice-theoretical fixpoint theorem and its applications Pacific Journal of Mathematics 5 1955 285 309
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
|