Procs and locks: a portable multiprocessing platform for standard ML of New Jersey
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Tag-free garbage collection using explicit type parameters
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Source-Level debugging for multiple languages with modest programming effort
CC'05 Proceedings of the 14th international conference on Compiler Construction
| Hi-index | 0.00 |