From SOS rules to proof principles: an operational metatheory for functional languages
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Polymorphic Environment Calculus and its Type-Inference Algorithm
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation
Semantic types: a fresh look at the ideal model for types
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compilation and equivalence of imperative objects
Journal of Functional Programming
Bisimilarity for the Region Calculus
Higher-Order and Symbolic Computation
A complete, co-inductive syntactic theory of sequential control and state
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Amb Breaks Well-Pointedness, Ground Amb Doesn't
Electronic Notes in Theoretical Computer Science (ENTCS)
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete, co-inductive syntactic theory of sequential control and state
Semantics and algebraic specification
Names, Equations, Relations: Practical Ways to Reason about new
Fundamenta Informaticae
Hi-index | 0.00 |