Detail publikace

Can Objects Have Dependent Types?

Originální název

Can Objects Have Dependent Types?

Anglický název

Can Objects Have Dependent Types?

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@inproceedings{BUT25360,
  author="Ondřej {Peterka} and Ondřej {Ryšavý} and Václav {Lorenc} and Martin {Osovský} and Libor {Škarvada}",
  title="Can Objects Have Dependent Types?",
  annote="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.",
  address="Ing. Zdeněk Novotný, CSc.",
  booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
  chapter="25360",
  howpublished="print",
  institution="Ing. Zdeněk Novotný, CSc.",
  year="2007",
  month="december",
  pages="173--180",
  publisher="Ing. Zdeněk Novotný, CSc.",
  type="conference paper"
}