Back to Search
Start Over
Fine-grained information flow analysis for a ~ -calculus with sum types.
- Source :
- Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15; 2002, p209-223, 15p
- Publication Year :
- 2002
Details
- Language :
- English
- ISBNs :
- 9780769516899
- Database :
- Complementary Index
- Journal :
- Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
- Publication Type :
- Conference
- Accession number :
- 81204526
- Full Text :
- https://doi.org/10.1109/CSFW.2002.1021818