Untyped Programs Don’t Exist (cross-post) 2018-01-19 :: By: William J. Bowman (Show comments / Powered by Disqus)