![](/img/cover-not-exists.png)
[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - A type system for certified binaries
Shao, Zhong, Saha, Bratin, Trifonov, Valery, Papaspyrou, NikolaosYear:
2002
Language:
english
DOI:
10.1145/503272.503293
File:
PDF, 281 KB
english, 2002