Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Handbook of theoretical computer science (vol. B)
The denotational semantics of programming languages
Communications of the ACM
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
Semantics and algebraic specification
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Hi-index | 0.00 |