The following pages link to Polytypic programming in Maude (Q2703708):
Displaying 6 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Polytypic programming with ease (Q2726288) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)