Lightweight Invariants with Full Dependent Types

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