https://www.snoyman.com/
Michael Snoyman - Strong Typing Advocate
Michael Snoyman's homepage, focusing on strongly typed programming and weightlifting. I'm a big fan of Haskell and Rust.
michael snoymanstrong typingadvocate
https://www.nexedi.com/jobs/NXD-Recruiting.Opportunity.Compilation.And.Strong.Typing.For.The.Python.Language
Opportunity : Compilation and strong typing of the Python language
the python languagestrong typingopportunitycompilation
https://www.javacodegeeks.com/2020/11/strong-typing-without-types.html
Strong Typing without Types - Java Code Geeks
Nov 25, 2020 - In 1974, Liskov and Zilles defined a strongly-typed language as one in which “whenever an object is passed from a calling function to a called function,
strong typing without typesjava code geeks
https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
Strong arrows: a new approach to gradual typing - The Elixir programming language
Sep 20, 2023 - Welcome to Elixir, a dynamic, functional language designed for building scalable and maintainable applications
a new approachelixir programming languagestrong arrows