The curse of strong typing https://fasterthanli.me/articles/the-curse-of-strong-typing
Rust (programming language)Typed programming languages
Where do Type Systems Come From?http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/
David HilbertTyped programming languages

Showing topic

Typed programming languages
Programming languages, data formats and protocols