Pages that link to "Item:Q1177936"

The following pages link to Horn clause programs with polymorphic types: Semantics and resolution (Q1177936):

Displaying 7 items.

• Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
• Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
• Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
• Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918) (← links)
• Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
• PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)
• Logic programs with polymorphic types: A condition for static type checking (Q5881208) (← links)