Counterexamples in Type Systems
Resource history | v1 (current) | created by jjones
Details
Counterexamples in Type Systems
see v1 | created by jjones | Add resource "Counterexamples in Type Systems"
- Title
- Counterexamples in Type Systems
- Type
- Book
- Created
- 2021-05-14
- Description
- 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
- https://counterexamples.org/
- Identifier
- no value
authors
This resource has no history of related authors.
topics
about Type system
resources
This resource has no history of related resources.