Counterexamples in Type Systems: programs that crash, segfault or explode (2021)

counterexamples.org

saved by: 0 people
related read on: struct's lifetime requirements can be bypassed via covari... from the discussion