Articles tagged with dependent types

Mon 06 July 2015

Preventing DB sharding errors at compile time with dependent types

Wed 03 December 2014

Type-safe vector addition with Dependent Types