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