![](/img/cover-not-exists.png)
Security-typed programming within dependently typed programming
Morgenstern, Jamie, Licata, Daniel R.Volume:
45
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1932681.1863569
Date:
September, 2010
File:
PDF, 558 KB
english, 2010