Type inference and checking
3 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Static typingType checking
program-analysis
- Type inferenceHindley-Milner unificationcanonprogram-analysis
- Liquid type inferencePredicate-qualifier abstractionspecialistprogram-analysis
- Bidirectional type checkingstandalonespecialistprogram-analysis