The following pages link to (Q4699301):
Displayed 6 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Just-in-time (Q2841222) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- (Q5013811) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)