Searching for "On the Semantics of Polymorphism." – sorted by Relevance.
75 documents found, showing 1 through 10.
Next 10 →
-
Operational Semantics and Polymorphic Type Inference
- … Operational Semantics and Polymorphic Type Inference Mads Tofte Ph. D. University of Edinburgh…
- Cited by 86 (2 self) – Add To MetaCart
-
A Simple Semantics for Polymorphic Recursion ⋆
- …A Simple Semantics for Polymorphic Recursion ⋆ William L. Harrison Dept. of Computer Science…
- Add To MetaCart
-
An Unboxed Operational Semantics for ML Polymorphism
- … Operational Semantics for ML Polymorphism * ATSUSHI OHORI ** ohori@(email omitted); TOMONOBU TAKAMIZAWA…
- Cited by 2 (0 self) – Add To MetaCart
-
Proc. 20th Symp. Principles of Programming Languages, 1993, pages 220-231.
- … This article investigates an ML-like language with byname semantics for polymorphism: polymorphic objects…
- Add To MetaCart
-
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions
- … of relators and transformations and shows that these concepts enable us to give a semantics for polymorphic…
- Cited by 16 (1 self) – Add To MetaCart
-
A Simple Model Construction for the Calculus of Constructions
- … of Choice is empty). 1 Introduction In the literature there are many investigations on the semantics…
- Cited by 2 (0 self) – Add To MetaCart
-
A Framework for Method Evolution and Behaviour Consistency in Object-Oriented Databases
- … and is concerned with the semantics of the polymorphism of methods. The second level relates to behavioural…
- Add To MetaCart
-
Operational Interpretations of an Extension of F-omega with Control Operators
- …, differing in their treatment of polymorphic abstraction and instantiation. Under the standard semantics…
- Cited by 1 (1 self) – Add To MetaCart
-
Partial Evaluation of Standard ML (Master's Thesis)
- … polymorphism, 18--19, 54, 131, 132, 138, 141 polyvariant specialization, 26, 63, 118, 122 power function, 12…
- Cited by 1 (0 self) – Add To MetaCart
-
Type class polymorphism in an institutional framework
- …, an institution in which the original preinstitution can be represented. The semantics of polymorphism used…
- Cited by 10 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
