共 40 条
- [3] How Dermatology Residents' Clinical Supervisors See Themselves [J]. ACTAS DERMO-SIFILIOGRAFICAS, 2022, 113 (08): : T838 - T839
- [4] How to Make Ad Hoc Proof Automation Less Ad Hoc [J]. ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2011, : 163 - 175
- [5] How to Make Ad Hoc Proof Automation Less Ad Hoc [J]. ACM SIGPLAN NOTICES, 2011, 46 (09) : 163 - 175
- [8] HOW TO MAKE AD-HOC POLYMORPHISM LESS AD HOC [J]. CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 60 - 76