The following pages link to (Q5309417):
Displaying 5 items.
- On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999) (Q2726299) (← links)
- Language-based program verification via expressive types (Q2866340) (← links)
- Non-termination Analysis of Logic Programs Using Types (Q3003491) (← links)
- (Q4234966) (← links)
- Efficient Verified Programs in a Type Theory with Mixed Constructivity (Q4849649) (← links)