The following pages link to Numbering matters (Q5178033):
Displaying 6 items.
- A polynomial nominal unification algorithm (Q944382) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Implementing nominal unification (Q2867897) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)