The following pages link to (Q4222755):
Displaying 17 items.
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- Type inference with recursive types: Syntax and semantics (Q756435) (← 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)
- Erratum to ``Efficient inference of object types'' (Q1917098) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- (Q2771055) (← links)
- Type inference using constraint handling rules (Q2841285) (← links)
- (Q4230924) (← links)
- (Q4495068) (← links)
- Subtyping constrained types (Q5030204) (← links)
- Geometry of synthesis III (Q5408555) (← links)
