The following pages link to Yolanda Ortega-Mallén (Q2736354):
Displayed 10 items.
- (Q2736355) (← links)
- (Q2850667) (← links)
- Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- The Role of Indirections in Lazy Natural Semantics (Q3455082) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- To be or not to be …lazy (In a Parallel Context) (Q5170189) (← links)
- Parallel functional programming in Eden (Q5706726) (← links)
- Programming Languages and Systems (Q5902366) (← links)