The following pages link to Val Breazu-Tannen (Q749517):
Displaying 11 items.
- Extensional models for polymorphism (Q749518) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Polymorphic rewriting conserves algebraic strong normalization (Q1176244) (← links)
- Polymorphic rewriting conserves algebraic confluence (Q1336046) (← links)
- (Q3142162) (← links)
- (Q3204024) (← links)
- (Q3714051) (← links)
- (Q3775518) (← links)
- (Q4036554) (← links)
- (Q4205074) (← links)
- (Q4855339) (← links)
