RNDr. Libor Škarvada

| Dependent type system for object-oriented programming languages (GA201/09/1316) | |
| MU Investigator: | RNDr. Libor Škarvada |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2009 - 3/2010 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |











