Pages that link to "Item:Q1186105"
From MaRDI portal
The following pages link to A typed functional extension of logic programming (Q1186105):
Displaying 5 items.
- Data abstraction in Prolog/KR (Q1077922) (← links)
- A variable typed logic of effects (Q1893729) (← links)
- Extended unification algorithms for the integration of functional programming into logic programming (Q3761667) (← links)
- An Extension of the Formulas-as-Types Paradigm (Q4252864) (← links)
- (Q5688911) (← links)