
[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Gradual Security Typing with References
Fennell, Luminous, Thiemann, PeterAnnée:
2013
Langue:
english
DOI:
10.1109/csf.2013.22
Fichier:
PDF, 348 KB
english, 2013