Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Specification and correctness proof of a WAM extension with abstract type constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Run-time type computations in the Warren Abstract machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4839029 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Horn clause programs with polymorphic types: Semantics and resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: A polymorphic type system for Prolog / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3490936 / rank
 
Normal rank

Latest revision as of 14:57, 24 May 2024

scientific article
Language Label Description Also known as
English
Refinement of a typed WAM extension by polymorphic order-sorted types
scientific article

    Statements

    Refinement of a typed WAM extension by polymorphic order-sorted types (English)
    0 references
    0 references
    0 references
    1 December 1996
    0 references
    constraint logic programming
    0 references

    Identifiers