Pages that link to "Item:Q5348904"
From MaRDI portal
The following pages link to Fold and unfold for program semantics (Q5348904):
Displaying 6 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
