Sciweavers

Share
ICFP   2010 International Conference on Functional Programming
Wall of Fame | Most Viewed ICFP-2010 Paper
ICFP
2010
ACM
9 years 14 days ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source194
2Download preprint from source189
3Download preprint from source174
4Download preprint from source174
5Download preprint from source170
6Download preprint from source166
7Download preprint from source165
8Download preprint from source162
9Download preprint from source158
10Download preprint from source156
11Download preprint from source153
12Download preprint from source151
13Download preprint from source150
14Download preprint from source150
15Download preprint from source148
16Download preprint from source148
17Download preprint from source143
18Download preprint from source140
19Download preprint from source137
20Download preprint from source136
21Download preprint from source135
22Download preprint from source129
23Download preprint from source129
24Download preprint from source126
25Download preprint from source120
26Download preprint from source118
27Download preprint from source116
28Download preprint from source114
29Download preprint from source108
30Download preprint from source103
31Download preprint from source100
32Download preprint from source92
books