Where Dependent types meets domain driven design
Using the power of types to encode domain constraints into code.
As presented at ITAKE