Detail publikace

Can Objects Have Dependent Types?

PETERKA Ondřej, RYŠAVÝ Ondřej, LORENC Václav, OSOVSKÝ Martin a Š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, s. 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
angličtina
Autoři
Peterka Ondřej, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Lorenc Václav, Mgr. (FI MUNI)
Osovský Martin, Mgr. (UVT MUNI)
Škarvada Libor, RNDr. (FI MUNI)
URL
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)
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo, CZ
BibTeX
@INPROCEEDINGS{FITPUB8519,
   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 = "https://www.fit.vut.cz/research/publication/8519"
}
Nahoru