On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic programming using abstract data types
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |