Searching for "Generic Polymorphism." – sorted by Relevance.
85 documents found, showing 1 through 10.
Next 10 →
-
A Game Semantics For Generic Polymorphism
- …Programming Research Group A GAME SEMANTICS FOR GENERIC POLYMORPHISM Samson Abramsky Oxford…
- Cited by 4 (2 self) – Add To MetaCart
-
Generic and Polymorphic Graph Transformations - Supporting the Definition of Visual Languages
- …Generic and Polymorphic Graph Transformations --- Supporting the Definition of Visual Languages…
- Add To MetaCart
-
Type Inference for Records in a Natural Extension of ML
- … We describe an extension of ML with records where inheritance is given by ML generic polymorphism…
- Cited by 65 (7 self) – Add To MetaCart
-
Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics
- … of sets and families from the process of introducing parameters (generic polymorphism). Moreover, I…
- Cited by 65 (11 self) – Add To MetaCart
-
Reuse of Results in Termination Analysis of Typed Logic Programs
- …, we show that when a generic polymorphic typed program component occurs in one or more specic type…
- Cited by 6 (1 self) – Add To MetaCart
-
A Key for Reusable Parallel Linear Algebra Software
- … to achieve our goal and that both genericity and polymorphism are needed. We propose a new design pattern…
- Cited by 4 (3 self) – Add To MetaCart
-
Polymorphic Syntax Definition (Extended Abstract)
- … counterpart of two-level signatures. The paper discusses generic polymorphic syntax definition in contextfree…
- Add To MetaCart
-
Object Oriented Design for Reusable Parallel Linear Algebra Software
- … that polymorphism is insufficient to achieve our goal and that both genericity and polymorphism are needed. We…
- Cited by 1 (1 self) – Add To MetaCart
-
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
- … properties must be proved separately for each calculus and type system. We present the generic polymorphic…
- Cited by 4 (0 self) – Add To MetaCart
-
The Completion of Typed Logic Programs and SLDNF-Resolution
- … generic polymorphism. It is well known that provided certain conditions hold typed definite logic programs…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
