The following pages link to J. J. Vinju (Q2653928):
Displaying 5 items.
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- (Q4447249) (← links)
- (Q4738383) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898153) (← links)