ℹ️
🇬🇧
Search
Search for people relevant for ""
Class
Person
Publication
Programmes
Export current view
prof. Jan Vitek M.Sc., Ph.D.
Academic staff at Faculty of Mathematics and Physics
1 class
3 publications
Class
class
Advanced Static Program Analysis
NSWI182 |
Faculty of Mathematics and Physics
Publications
publication
Decidable Subtyping of Existential Types for Julia
2024 |
Faculty of Mathematics and Physics
publication
VMIL 2024: Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languag Reducing Feedback Pollution
2024 |
Faculty of Mathematics and Physics
publication
38th European Conference on Object-Oriented Programming, ECOOP 2024 The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments
2024 |
Faculty of Mathematics and Physics
Loading network view...
