Telecharger Cours

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

We include union types as well as several variants of polymorphism in our study. We describe our experience with trace typing to guide and check choices in ...



Download