"Type-driven development"| GeekLaunch
Encoding business logic in types| fsharpforfunandprofit.com
OWASP Top 10:2021| owasp.org
