• Types are a basic tool of software design (2018) https://www.tedinski.com/2018/12/05/types-as-design-tool.html 118 comments 31/12/2024

• Types are the basic tool of software design https://www.tedinski.com/2018/12/05/types-as-design-tool.html 21 comments 5/12/2018 programming