共 50 条
- [32] Self-Certification Bootstrapping Certified Typecheckers in F☆ with Coq POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 571 - 583
- [36] THE ASP VOLUNTARY CERTIFICATION PROGRAM PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1984, 50 (12): : 1693 - 1695