Design and Implementation of a Certifying Compiler for Type-Based Annotation

• 基于类型注解的认证编译器设计与实现