![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o projektu
Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky
- Kód projektu
- GA201/09/1316
- Období řešení
- 1/2009 - 3/2010
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- RNDr. Libor Škarvada
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba doc. Ing. Dušan Kolář, Dr.
Publikace
Počet publikací: 1
2009
-
A Calculus of Coercive Subtyping
Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages, rok: 2009