Explore index
Sound Type Checking
A type-checking approach guaranteeing accepted programs cannot exhibit the runtime errors excluded by their types.
No public content is connected to this entity yet.
Explore index
A type-checking approach guaranteeing accepted programs cannot exhibit the runtime errors excluded by their types.
No public content is connected to this entity yet.