Peter Canning, William Cook, Walter Hill, Walter Oltho#, and John Mitchell. Fbounded quantification for object-oriented programming. In Proc. of ACM FPCA, pages 273--280, September 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Decidability of Higher-Order Subtyping with Intersection Types - Compagnoni (1994) (5 citations) (Correct)
....calculus, 612 316 030, and by EPSRC GRANT, GR G 55792 Constructive logic as a basis for program development. references) A second order calculus with intersection types was studied in [21] Systems including subtyping were present in [6, 4] Higher order generalizations of subtyping appear in [3, 12, 19, 2]. F (F sub) a second order calculus with bounded quantification, was studied in [15] and in [21] it was proved that subtyping in F was undecidable and that undecidability was caused by the subtyping rule for bounded quantification. In [8] an alternative rule for subtyping quantified types was ....
.... type system than that presented in [8] In fact, treating the interaction between interface refinement and encapsulation of objects, in object oriented programming, has required higher order generalizations of subtyping the F bounded quantification of Canning, Cook, Hill, Olthoff and Mitchell [3] or Cardelli and Mitchell s system F (F omegasub) 5, 19, 2] Ghelli [16] remarked that the rule for subtyping between quantified types presented in [8] led to a well behaved subtyping relation but that the typing relation fails to satisfy the minimal type property. This failure introduces ....
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273--280, September 1989.
Regular Types for Active Objects - Nierstrasz (1993) (112 citations) (Correct)
....previously studied [31] but only in a functional setting. Finally, we have not considered the issue of recursively defined types, in which the regular type of an object may contain services whose argument and return types refer to the object s own type. Previous work on Fbounded quantification [9] addresses subtyping for such types [3] and is likely to be relevant to our framework. 4.8.2 Applying Regular Types to Object Oriented Languages We have presented our type model without giving any concrete interpretation for types. The objects to which we wish to assign types have been described ....
Peter S. Canning, William Cook, Walter L. Hill, John C. Mitchell and Walter G. Olthoff, "F-Bounded Quantification for Object-Oriented Programming," Proceedings of the ACM Conference on Functional Programming and Computer Architecture, 11--13 Sept., 1989, pp. 273--280.
Regular Types for Active Objects - Nierstrasz (1993) (112 citations) (Correct)
....previously studied [28] but only in a functional setting. Finally, we have not considered the issue of recursively defined types, in which the regular type of an object may contain services whose argument and return types refer to the object s own type. Previous work on F bounded quantification [7] addresses subtyping for such types, and is likely to be relevant to our framework. Regular Types for Active Objects Oscar Nierstrasz 10 8.2 Applying Regular Types to ObjectOriented Languages We have presented our type model without giving any concrete interpretation for types. The objects ....
Peter S. Canning, William Cook, Walter L. Hill, John C. Mitchell and Walter G. Olthoff, "F-Bounded Quantification for Object -Oriented Programming," Proceedings of the ACM Conference on Functional Programming and Computer Architecture, Sept. 11-13, 1989, pp. 273-280.
Divergence of... Type Checking - Ghelli (1995) (Correct)
....with the partial support of E.C. Esprit Basic Research Action 6309 FIDE2, of the Italian National Research Council, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo grant No. 92.01561.PF69, and of the Ministero dell Universit e della Ricerca Scientifica e Tecnologica. Cook 89] Canning et al. 89] Mitchell 90] Danforth Tomlinson 88] Cardelli Martini Mitchell Scedrov 91] Ghelli 91] Bruce 91] Cardelli Mitchell 91] Mitchell et al. 91] Bruce 92] Hofmann Pierce 94] Bruce 93] Ghelli 93a] Gunter Mitchell 93] Pierce Turner 93] An algorithm to assign a type to every well typed Fun ....
P. Canning, W. Cook, W. Hill, J.C. Mitchell, and W. Olthoff, "Fbounded quantification for object-oriented programming", in Functional Programming and Computer Architecture, 273-280, 1989.
Methods as Assertions - John Lamping (1994) (5 citations) Self-citation (Hill) (Correct)
....is found by using the name of the operation as an index to select among the object s methods. This record view of object oriented programming describes both the common implementation techniques of many languages, such as C , and most efforts to explain objects in terms of formal systems (e.g. [5, 6, 7, 15]) An alternative view takes methods as belonging to operations, rather than to objects. An operation comes with a collection of methods, each of which implements the operation for different classes of argument. Multiple dispatch is supported rather naturally: the classes of several arguments can ....
....types for the same inputs. The evaluation model allows method selection based not only on the types of the inputs but also on the desired type of the output. While the assertional view does not require this feature, we show how it supports it. a line object rotate operation record view start: [4,5] end: 2,10] rotate: method . rotate operation view class: line start: 4,5] end: 2,10] line: method . assertional view class: line start: 4,5] end: 2,10] method rotate Fig. 1. Three views of a line object and the rotate operation 2 Methods as Assertions Before giving a more ....
[Article contains additional citation context not shown here]
Canning, P., Cook, W., Hill, W., Mitchell, J., and Olthoff, W. Fbounded quantification for object-oriented programming. In Functional Programming and Computer Architecture (1989).
On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (4 citations) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Oltho#, and John Mitchell. Fbounded quantification for object-oriented programming. In Proc. of ACM FPCA, pages 273--280, September 1989.
Termination of system F-bounded (Note) - Ghelli (Correct)
No context found.
P. Canning, W. Cook, W. Hill, J.C. Mitchell, and W. Olthoff, "F-bounded quantification for object-oriented programming", in Functional Programming and Computer Architecture, 273-280, 1989.
Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (39 citations) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273--280, September 1989.
The Ts Type System - Tan (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Functional Programming Languages and Computer Architectures '89, pages 37--44, 1989.
A Calculus for Overloaded Functions with Subtyping - Castagna, Ghelli, Longo (1995) (76 citations) (Correct)
No context found.
P.S. Canning, W.R. Cook, W.L. Hill, J. Mitchell, and W.G. Olthoff. Fbounded quantification for object-oriented programming. In ACM Conference on Functional Programming and Computer Architecture, September 1989.
Comparing Object Encodings - Bruce, Cardelli, Pierce (1997) (39 citations) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273-- 280, September 1989.
A Model of Delegation Based on Existential Types - Pierce (1993) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273-- 280, September 1989.
Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (39 citations) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273--280, September 1989.
Mutable Objects - Pierce (1993) (1 citation) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273-- 280, September 1989.
Statically Typed Friendly Functions via Partially Abstract Types - Pierce, Turner (1993) (29 citations) (Correct)
No context found.
Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273--280, September 1989.
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