Parametricity and local variables
Journal of the ACM (JACM)
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Higher-Order and Symbolic Computation
A fibrational framework for possible-world semantics of Algol-like languages
Theoretical Computer Science
Monoidal Indeterminates and Categories of Possible Worlds
Electronic Notes in Theoretical Computer Science (ENTCS)
Monoidal indeterminates and categories of possible worlds
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Electronic Notes in Theoretical Computer Science (ENTCS)
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
Hi-index | 0.00 |