Where Do Type Systems Come From?
Where Do Type Systems Come From?
Oct 1, 2021, 6:13am UTC
http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from