The following pages link to (Q3026313):
Displaying 5 items.
- \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus (Q1186104) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Continuation-based transformations for coordination languages (Q1575149) (← links)
- Real-time MLton: A Standard ML runtime for real-time functional programs (Q5019014) (← links)
- A compiler for nondeterministic term rewriting systems (Q5055858) (← links)
