On strong normalization and type inference in the intersection type discipline
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
High-level problems in teaching undergraduate programming languages
ACM SIGPLAN Notices
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |