Compiling actions by partial evaluation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Action semantics in retrospect
Semantics and algebraic specification
Action semantics-directed prototyping
Computer Languages
Hi-index | 0.01 |