miniblog.

← Back to all posts
Superb article on type systems, open vs closed world soundness, and type systems intentionally not offering soundness: