Andreas Gawecki;Florian Matthes
-;-
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)