Sciweavers

POPL
2002
ACM

A type system for certified binaries

14 years 4 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2002
Where POPL
Authors Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
Comments (0)