Keyphrases
Pluggable Types
100%
Collaborative Research
100%
Type Inference
100%
Type Checking
44%
Type Checker
44%
Inference Methods
33%
Software System
22%
Type Systems
22%
Pluggable Type Systems
22%
Grey-box
11%
Modern Tools
11%
Black-box Inference
11%
Modern Techniques
11%
Effective Techniques
11%
Software Developers
11%
Search Methods
11%
Existing Techniques
11%
Highly Effective
11%
Software Vulnerability
11%
High Scalability
11%
Impact Review
11%
White-box
11%
Project Impact
11%
Inference Approach
11%
Review Criteria
11%
Maintainability
11%
Type Annotations
11%
Inference Algorithms
11%
Modernity
11%
Common Infrastructure
11%
Source Code
11%
Computer Science
Type Systems
100%
Annotation
100%
Type Inference
100%
Inference Technique
75%
Type Checking
75%
Software Systems
50%
Maintainability
25%
Software Developer
25%
Common Infrastructure
25%
Source Codes
25%