共 50 条
- [41] (Deep) Induction Rules for GADTs PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 324 - 337
- [42] Foundations of programming:: a teaching improvement COMPUTERS AND EDUCATION: TOWARDS AN INTERCONNECTED SOCIETY, 2001, : 81 - 91
- [45] FOUNDATIONS OF COMPOSITION PROGRAMMING. Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (03): : 151 - 158