Open in TheBrain

Static Typing

Verifying the type safety of a program based on analysis of a program's text

Attachments