Add resource "Counterexamples in Type Systems" Accepted
Changes: 2
-
Add Counterexamples in Type Systems
- Title
-
- Unchanged
- Counterexamples in Type Systems
- Type
-
- Unchanged
- Book
- Created
-
- Unchanged
- 2021-05-14
- Description
-
- Unchanged
- The "counterexamples" here are programs that go wrong in ways that should be impossible: corrupt memory in Rust, produce a ClassCastException in cast-free Java, segfault in Haskell, and so on. This book is a collection of such counterexamples, each with some explanation of what went wrong and references to the languages or systems in which the problem occurred.
- Link
-
- Unchanged
- https://counterexamples.org/
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Type system treated in Counterexamples in Type Systems
- Current
- treated in
Topic to resource relation | v1