The following pages link to (Q4855342):
Displaying 5 items.
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Type inference for record concatenation and subtyping (Q1887147) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
