Pages that link to "Item:Q1177936"
From MaRDI portal
The following pages link to Horn clause programs with polymorphic types: Semantics and resolution (Q1177936):
Displayed 4 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)