Executable component-based semantics

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

The implementation of functional programming languages

Microprocessors and Microsystems · 1987 · 1.1K citations

Engineering, Functional Programming Languages, Program Analysis +8

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 737 citations

Engineering, Automated Reasoning, Regulated Rewriting +5

A structural approach to operational semantics

The Journal of Logic and Algebraic Programming · 2004 · 688 citations

Formal Semantics, Engineering, Operational Semantics +6

Monad transformers and modular interpreters

Sheng Liang, Paul Hudak, Mark P. Jones · 1995 · 501 citations · Full text

Building Blocks, Engineering, Software Engineering +20