Cardelli, L. and Wegner, P. (1985). On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 17(4), 471--522.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Attribute Grammars as Record Calculus - A Structure-Oriented .. - Gondow, Katayama (2000) Self-citation (Cardelli) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. In ACM Computing Surveys, Vol.17, No.4, pages 471522. ACM, 1985.
Unknown - Type Prod List (Correct)
No context found.
Cardelli, L. and Wegner, P. (1985). On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 17(4), 471--522.
Programming Language Abstractions for Semistructured Data - Emir (2004) (Correct)
No context found.
Cardelli, L. and P. Wegner (1985). On understanding types, data abstraction, and polymorphism. ACM Computing Surveys 17(4), 471-522.
Unknown - Information Systems Vol (Correct)
No context found.
A. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 1(4):471-522 (1985).
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Cardelli, L. and Wegner, P. (1985). On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471--522.
Coercive Subtyping for the Calculus of Constructions - Extended Gang (2003) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, December 1985.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
A Static C++ Object-Oriented Programming (SCOOP).. - Burrus.. (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471--522, December 1985.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
An Environment for Symbolic and Numeric Computation - Reis, Mourrain, Rouillier.. (2002) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471--522, 1985.
Converting Java Classes to Use Generics - von Dincklage, Diwan (2004) (2 citations) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv., 17(4):471--522, December 1985.
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (2 citations) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471--522, Dec. 1985.
Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (2004) (5 citations) (Correct)
No context found.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471--522, December 1985.
A General Theory for the Evolution of Application Models - Proper And Th (1994) (1 citation) (Correct)
No context found.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471--522, December 1985.
A General Theory for the Evolution of Application Models - Proper And Th (1995) (1 citation) (Correct)
No context found.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471--522, December 1985.
A Generic Model for 3-Dimensional Conceptual Modelling - Creasy, Proper (2004) (6 citations) (Correct)
No context found.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471--522, December 1985.
EVORM: A Conceptual Modelling Technique for Evolving.. - Proper, van der Weide (1994) (Correct)
No context found.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471--522, December 1985.
Type-checking Balloon Types - Almeida (1999) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471-522, December 1985.
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
No context found.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surverys, 17(4):471-522, December 1985.
On the Semantics of a Semantic Network - Analyti, Spyratos, Constantopoulos (1998) (Correct)
No context found.
A. Cardelli, P. Wegner, On Understanding Types, Data Abstraction, and Polymorphism, ACM Computing Surveys, 1(4), 471-522, (1985).
Specialization by Restriction - And Schema Derivations (Correct)
No context found.
A. Cardelli, P. Wegner, On Understanding Types, Data Abstraction, and Polymorphism, ACM Computing Surveys, 1(4), 471-522 (1985).
Polymorphism and Genetic Programming - Yu (Correct)
No context found.
Cardelli, L. and Wegner, P.: On understanding types, data abstraction, and polymorphism. In: Computing Surveys, Vol. 17:4, pages 471-522. 1985.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC