Vlad Hanciuta
Results
1
comments of
Vlad Hanciuta
It would seem convenient to have stratification as part of some preprocessing step, because like name resolution and type checking, it also detects invalid programs and it's also required for...