| 
|
Quote: Vault's type system is based on Capability Calculus and alias types
topics >
all references >
references c-d >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
security by capabilities
Quotation Skeleton
Vault's type system is based on the Capability … [Crary, Walker, Morrisett POPL '99] … [Smith Walker Morrisett, 2000 Euro Symp Prog]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: security by capabilities (65 items)