Informace o publikaci
Can Objects Have Dependent Types?
Autoři | |
---|---|
Rok publikování | 2007 |
Druh | Článek ve sborníku |
Konference | MEMICS 07 |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Informatika |
Popis | Type discipline on type systems equipped with dependent types allows for checking more refined properties of programs at static time. This paper elaborates on the construction of the type system with dependent types for an object-oriented programming language. An approach for integration of dependent types with object-oriented paradigm is presented followed by an informal description of the proposed extension to the existing language. |