The following pages link to (Q4222755):
Displayed 10 items.
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- Semi-explicit first-class polymorphism for ML. (Q1854319) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Type inference for variant object types (Q1854549) (← links)
- Non-structural subtype entailment in automata theory (Q1887157) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Type Inference using Constraint Handling Rules (Q2841285) (← links)
- Subtyping constrained types (Q5030204) (← links)