Pages that link to "Item:Q6102248"
From MaRDI portal
The following pages link to Data type inference for logic programming (Q6102248):
Displaying 8 items.
- Inductive data types for predicate transformers (Q1199549) (← links)
- Type inference in Prolog: A new approach (Q1311964) (← links)
- ptype: probabilistic type inference (Q1987195) (← links)
- Minimal type inference for linked data consumers (Q2348796) (← links)
- (Q3819966) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Typed SLD-resolution: dynamic typing for logic programming (Q6103019) (← links)