Sciweavers

577 search results - page 1 / 116
» Polymorphism, objects and abstract types
Sort
View
SIGACT
1998
69views more  SIGACT 1998»
13 years 10 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
APLAS
2010
ACM
13 years 11 months ago
A Certified Implementation of ML with Structural Polymorphism
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
Jacques Garrigue
VLDB
1993
ACM
142views Database» more  VLDB 1993»
14 years 3 months ago
Collections of Objects in SQL3
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...
David Beech
OOPSLA
1989
Springer
14 years 3 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
SE
2007
14 years 12 days ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia