Articles tagged with databases

Mon 06 July 2015
Preventing DB sharding errors at compile time with dependent types