Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Type definitions with parameters
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Bases for chain-complete posets
IBM Journal of Research and Development
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
Program equivalence and context-free grammars
Journal of Computer and System Sciences
Hi-index | 0.00 |