The following pages link to Programming Languages and Systems (Q5308688):
Displaying 5 items.
- On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types (Q3010338) (← links)
- Decidability in Intuitionistic Type Theory is Functionally Decidable (Q4888341) (← links)
- Closure via functional dependence simplification (Q4903555) (← links)
- Logics in Artificial Intelligence (Q5394159) (← links)
- Sound and complete type inference for closed effect rows (Q6111455) (← links)