The following pages link to (Q4318862):
Displaying 10 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Well-structured languages (Q2641880) (← links)
- Types and programing languages (Q2778806) (← links)
- Practical foundations for programming languages (Q2805272) (← links)
- ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING (Q3062792) (← links)
- Fundamentals of coding type problems (Q3637813) (← links)
- (Q3678651) (← links)
- (Q4213885) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)