3 ms·
My rough approximation is that the difference between a sound type system and an unsound type system is that a sound system rejects some valid programs and unso
by tatterdemalion 10y ago
My rough approximation is that the difference between a sound type system and an unsound type system is that a sound system rejects some valid programs and unsound system accepts some invalid ones.