Pages that link to "Item:Q5168880"
From MaRDI portal
The following pages link to An error-tolerant type system for variational lambda calculus (Q5168880):
Displaying 6 items.
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Improving type error reporting for type classes (Q2163154) (← links)
- Finding suitable variability abstractions for lifted analysis (Q2414252) (← links)
- Systematic identification and communication of type errors (Q4577823) (← links)
- Migrating gradual types (Q5051992) (← links)
