Sciweavers

61 search results - page 13 / 13
» A Policy Validation Framework for Enterprise Authorization S...
Sort
View
PLDI
2010
ACM
14 years 1 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala