Schwartzbach M.I.: Developments in Object-Oriented Type Systems. In: Tutorial Notes of the 21st Annual SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portland, Oregon, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Proposal for a Protocol Engineering Language - Granö, Harju, Paakki, Järvinen (1994) (Correct)
....the mutual relationship between client and server. ffl Implementation is forced to be separate from service specification. We believe that providing different mechanisms for code reuse and subtype compatibility leads to cleaner subtype structures. Recent research seems to confirm this (see e.g. [RIR93, Sch94]) Technically it is not absolutely necessary to separate implementation from specification to achieve this separation of hierarchies, but doing so certainly makes them logically more distinct. ffl Modelling services this way gives us a convenient analogy with a channel: an entity related to both ....
Schwartzbach M.I.: Developments in Object-Oriented Type Systems. In: Tutorial Notes of the 21st Annual SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portland, Oregon, 1994.
A Calculus For Overloaded Functions With Subtyping - Castagna (1995) (76 citations) (Correct)
....its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and or specific permission. ACM Transactions on Programming Languages and Systems. vol. 17 n. 3. 2 Delta Giuseppe Castagna ference [Schwartzbach 1994]: in the abstract of his tutorial Schwartzbach fingers the covariance versus contravariance issue as a key example of the specificity of object oriented type systems. In this short note we argue that the choice between covariance and contravariance is a false problem. Covariance and ....
Schwartzbach, M. 1994. Developments in object-oriented type systems. Tutorial given at POPL'94. Unpublished.
Sous-Typage Et Programmation Orientée à Objets - Castagna (Correct)
....been disputed in object oriented languages whether one has to use covariant or contravariant specialization of the methods. The fact that this debate is still very felt is witnessed by the excellent tutorial on object oriented type systems given by Michael Schwartzbach in the last POPL conference [Sch94] already in the abstract of his tutorial Schwartzbach fingers the covariance versus contravariance issue as a key example of the specificity of object oriented type systems. In this chapter we report the results of [Cas95a] where it is argued that the choice between covariance and ....
M. Schwartzbach. Developments in object-oriented type systems. Tutorial given at POPL'94, January 1994.
Sous-Typage Et Programmation Orientée à Objets - Castagna (1997) (Correct)
....been disputed in object oriented languages whether one has to use covariant or contravariant specialization of the methods. The fact that this debate is still very felt is witnessed by the excellent tutorial on object oriented type systems given by Michael Schwartzbach in the last POPL conference [Sch94] already in the abstract of his tutorial Schwartzbach fingers the covariance versus contravariance issue as a key example of the specificity of object oriented type systems. In this chapter we report the results of [Cas95a] where it is argued that the choice between covariance and ....
M. Schwartzbach. Developments in object-oriented type systems. Tutorial given at POPL'94, January 1994.
Covariance and Contravariance: Conflict without a Cause - Castagna (1994) (58 citations) (Correct)
....been disputed in object oriented languages whether one has to use covariant or contravariant specialization of the methods. The fact that this debate is still very felt is witnessed by the excellent tutorial on object oriented type systems given by Michael Schwartzbach in the last POPL conference [Sch94]: already in the abstract of his tutorial Schwartzbach fingers the covariance versus contravariance issue as a key example of the specificity of object oriented type systems. With this short note we argue that the choice between covariance and contravariance is a false problem. That covariance ....
Michael Schwartzbach. Developments in object-oriented type systems. Tutorial given at POPL'94, January 1994.
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