Pages that link to "Item:Q1208426"
From MaRDI portal
The following pages link to A bottom-up polymorphic type inference in logic programming (Q1208426):
Displaying 11 items.
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- Type inference in Prolog: A new approach (Q1311964) (← links)
- Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
- A polymorphic type dependency analysis for logic programs (Q1758668) (← links)
- On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999) (Q2726299) (← links)
- Extending Constructive Logic Negation with Types (Q4982631) (← links)
- (Q5020543) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Data type inference for logic programming (Q6102248) (← links)