Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Peter S. Canning"'
Publikováno v:
POPL
In typed object-oriented languages the subtype relation is typically based on the inheritance hierarchy. This approach, however, leads either to insecure type-systems or to restrictions on inheritance that make it less flexible than untyped Smalltalk
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dff6ff5d1cd1ef82c9f631fb23a9b752
https://doi.org/10.1145/96709.96721
https://doi.org/10.1145/96709.96721
Publikováno v:
OOPSLA
This paper develops a system of explicit interfaces for object-oriented programming. The system provides the benefits of module interfaces found in languages like Ada and Modula-2 while preserving the expressiveness that gives untyped object-oriented
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e669853cc0d6ee079b0a61e356b09cd
https://doi.org/10.1145/74877.74924
https://doi.org/10.1145/74877.74924
Publikováno v:
FPCA
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “object” model and used bounded quantification to type-check functions tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a44a8b6b1268475ffeecaee41ec0311
https://doi.org/10.1145/99370.99392
https://doi.org/10.1145/99370.99392
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.