Pages that link to "Item:Q796313"
From MaRDI portal
The following pages link to A polymorphic type system for Prolog (Q796313):
Displayed 22 items.
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- Legality concepts for three-valued logic programs (Q689286) (← links)
- A polymorphic type system for Prolog (Q796313) (← links)
- Logic programming with external procedures: Introducing S-unification (Q1097682) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- A typed functional extension of logic programming (Q1186105) (← links)
- Indexed types (Q1389626) (← links)
- A new framework for declarative programming (Q1399960) (← 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)
- Evolution of rule-based programs (Q1878711) (← links)
- Automatic Generation of Test Inputs for Mercury (Q3617431) (← links)
- From Monomorphic to Polymorphic Well-Typings and Beyond (Q3617436) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Coding guidelines for Prolog (Q4897704) (← links)
- Extending Constructive Logic Negation with Types (Q4982631) (← links)
- Checking Emptiness of Non-Deterministic Regular Types with Set Operators (Q5415619) (← links)
- Improving precision of type analysis using non-discriminative union (Q5437649) (← links)
- HM(X) type inference is CLP(X) solving (Q5451969) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)
- Towards a Normal Form for Mercury Programs (Q5504592) (← links)
- Towards Typed Prolog (Q5504693) (← links)