Some ideas on data types in high-level languages
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
Report on the programming language Euclid
ACM SIGPLAN Notices
Hi-index | 0.89 |