On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The semantics of programming languages: an elementary introduction using structural operational semantics
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
On integration of programming paradigms
ACM Computing Surveys (CSUR)
Enhanced operational semantics
ACM Computing Surveys (CSUR)
Editorial: Strategic directions in computing research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Unifying theories: a personal statement
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Program analysis: the abstract interpretation perspective
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
| Hi-index | 0.00 |