Joined 15 years ago
Is type-driven design a think? For me it's just development ...
https://www.liebertpub.com/doi/full/10.1089/met.2016.0108