Type System of an Object-Oriented Database Programming Language (Extended Abstract) (1999)

by Y. Leontiev , M. Tamer Özsu , Duane Szafron
Venue:ACM COMPUTING SURVEYS (CSUR
Citations:7 - 0 self

Active Bibliography

On Type Systems for Object-Oriented Database Programming Languages – Duane Szafron
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
10 Static Typing for Dynamic Messages – Susumu Nishimura - 1998
Prototypes with Multiple Dispatch: – An Expressive And, Lee Salzman, Jonathan Aldrich
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
10 On Binary Methods – Kim Bruce, et al.
3 On Binary Methods – Gary T. Leavens, Benjamin Pierce, Giuseppe Castagna, The Hopkins Objects Group, Kim Bruce, Kim Bruce, Luca Cardelli, Luca Cardelli - 1995
5 Constraint-Based Polymorphism in Cecil – Vassily Litvinov, Craig Chambers - 1998
22 Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System – Vassily Litvinov - 1998
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
2 Extension Polymorphism – Dharini Balasubramaniam - 1998
Foundation of Object-Oriented Programming – Giuseppe Castagna - 1998
Sous-Typage Et Programmation Orientée à Objets – Giuseppe Castagna
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
62 Modular Statically Typed Multimethods – Todd Millstein, Craig Chambers - 2002