Lightweight Invariants with Full Dependent Types

by Edwin Brady , Christoph Herrmann , Kevin Hammond
Citations:3 - 2 self