Detail publikace

Can Objects Have Dependent Types?

PETERKA, O. RYŠAVÝ, O. LORENC, V. OSOVSKÝ, M. ŠKARVADA, L.

Originální název

Can Objects Have Dependent Types?

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

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.

Klíčová slova

dependent types, object types, type theory, programming language design, polymorphic data types

Autoři

PETERKA, O.; RYŠAVÝ, O.; LORENC, V.; OSOVSKÝ, M.; ŠKARVADA, L.

Rok RIV

2007

Vydáno

5. 12. 2007

Nakladatel

Ing. Zdeněk Novotný, CSc.

Místo

Znojmo

ISBN

978-80-7355-077-6

Kniha

Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)

Strany od

173

Strany do

180

Strany počet

8

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?",
  booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
  year="2007",
  pages="173--180",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6"
}