Programming Language Design: Safe, Shared Mutability with Unboxed Types
antelang.org