Lightweight Invariants with Full Dependent Types.

Edwin C. Brady Christoph A. Herrmann Kevin Hammond

Published in: Trends in Functional Programming (2008)

Keyphrases

lightweight
communication infrastructure
wireless sensor networks
development environments