Ensuring correct-by-construction resource usage by using full-spectrum dependent types. Available from http://www.cs.st-and.ac.uk/ eb (2009)

by Edwin Brady , Kevin Hammond
Citations:1 - 1 self