Types as Contracts: Implementation and Evaluation

system Closed March 25, 2019, 8:14am 21

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
Two Kinds of Invariants: Safety and Validity Unsafe Code Guidelines	27	6009	March 25, 2019
Mem::uninitialized, `!` and trap representations language design	56	6881	March 25, 2019
Faster PartialEq for small arrays of non 2^n length compiler	25	791	September 14, 2024
Canvas unsafe code in the wild Unsafe Code Guidelines	25	8179	March 25, 2019
Why even unused data needs to be valid language design	20	3738	November 11, 2020