On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The definition of Standard ML
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Coordination languages and their significance
Communications of the ACM
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Abstract interpretation: a semantics-based tool for program analysis
Handbook of logic in computer science (vol. 4)
Computing Surveys symposium on models of programming languages and computation
ACM Computing Surveys (CSUR)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Garbage Collection of Linked Data Structures
ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept
Communications of the ACM
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
On the need for a popular formal semantics
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
| Hi-index | 0.03 |