Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Software—Practice & Experience
The programming language Oberon
Software—Practice & Experience
The definition of Standard ML
Deciding ML typability is complete for deterministic exponential time
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The C programming language
Commentary on standard ML
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
The cost of selective recompilation and environment processing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of the ACM (JACM)
Analysis and caching of dependencies
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Software portability with imake (2nd ed.)
Software portability with imake (2nd ed.)
Hierarchical modulatory and intermodule optimization
Hierarchical modulatory and intermodule optimization
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Principles of Programming Languages
Principles of Programming Languages
The Definition of Standard ML
PASCAL user manual and report
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Framework for Java Separate Compilation
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A separate compilation extension to standard ML
Proceedings of the 2006 workshop on ML
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |