Open in TheBrain

Dynamic Typing

Verifying the type safety of a program at runtime

Attachments