Lightweight Invariants with Full Dependent Types

Edwin Charles Brady, Christoph Armin Herrmann, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTrends in Functional Programming
PublisherIntellect Books
Publication statusPublished - 2008

Cite this