3 ms·
The web site promises a proof for type safety and links to a paper https://www.ponylang.org/media/papers/fast-cheap.pdf https://www.ponylang.org/media/papers/fa
by lindig 9y ago
The web site promises a proof for type safety and links to a paper https://www.ponylang.org/media/papers/fast-cheap.pdf https://www.ponylang.org/media/papers/fast-cheap.pdf but the way I understand the paper it doesn't provide a proof. It contains a type system but no proofs of its properties. What am I missing here?