Searching for "Lightweight Static Capabilities." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Lightweight static capabilities Oleg Kiselyov
- …PLPV 2006 Lightweight static capabilities Oleg Kiselyov FNMOC Chung-chieh Shan Rutgers University…
- Add To MetaCart
-
Position: Lightweight Static Resources: Sexy types for embedded and systems programming
- ….3 Lightweight static capabilities The types introduced so far are all phantom. To regulate resources, we…
- Cited by 3 (2 self) – Add To MetaCart
-
Simulating Dependent Types with Guarded Algebraic Datatypes
- … lightweight static capabilities, which use phantom types 2 and module boundaries to give precise types…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 3.
