Detail publikace

Can Objects Have Dependent Types?

PETERKA, O.; RYŠAVÝ, O.; LORENC, V.; OSOVSKÝ, M.; ŠKARVADA, L. 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. p. 173-180. ISBN: 978-80-7355-077-6.
Název česky
Mohou mít objekty závislé typy?
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Peterka Ondřej, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Lorenc Václav
Osovský Martin
Škarvada Libor
URL
Klíčová slova

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

Abstrakt

Příspěvěk pojednává o konstrukci typového systému s hodnotově-závislými typy pro objektově-orientovaný programovací jazyk.

Rok
2007
Strany
173–180
Sborník
Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo
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"
}
Nahoru