Lightweight invariants with full dependent types (2008)

by E Brady, C Herrmann, K Hammond
Venue:Trends in Functional Programming