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
Mem::uninitialized, `!` and trap representations language design	56	6822	March 25, 2019
Two Kinds of Invariants: Safety and Validity Unsafe Code Guidelines	27	5872	March 25, 2019
Canvas unsafe code in the wild Unsafe Code Guidelines	25	8086	March 25, 2019
Next steps for the unsafe code guidelines Unsafe Code Guidelines	29	6178	March 25, 2019
Pre-RFC: Allow passing uninitialized values to functions language design	16	3219	March 25, 2019