Conference paper

PETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin and ŠKARVADA Libor. Can Objects Have Dependent Types?. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 173-180. ISBN 978-80-7355-077-6.
Publication language:english
Original title:Can Objects Have Dependent Types?
Title (cs):Mohou mít objekty závislé typy?
Pages:173-180
Proceedings:Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Conference:MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Place:Znojmo, CZ
Year:2007
ISBN:978-80-7355-077-6
Publisher:Ing. Zdeněk Novotný, CSc.
URL:http://www.fit.vutbr.cz/~rysavy/bibpdf/peterka_07_objects.pdf [PDF]
Keywords
dependent types, object types, type theory, programming language design, polymorphic data types
Annotation
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{
   author = {Ond{\v{r}}ej Peterka and Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and
	V{\'{a}}clav Lorenc and Martin Osovsk{\'{y}} and Libor
	{\v{S}}karvada},
   title = {Can Objects Have Dependent Types?},
   pages = {173--180},
   booktitle = {Proceedings of 3rd Doctoral Workshop on Mathematical and
	Engineering Methods in Computer Science (MEMICS 2007)},
   year = {2007},
   location = {Znojmo, CZ},
   publisher = {Ing. Zden{\v{e}}k Novotn{\'{y}}, CSc.},
   ISBN = {978-80-7355-077-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8519}
}

Your IPv4 address: 54.242.205.33
Switch to IPv6 connection

DNSSEC [dnssec]