72
Voted
ACSC
2004
IEEE
15 years 18 days ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...