Вы здесь

Главная

полиморфизм

Связанные издания:

A Complete Type Inference System for Subtyped Recursive Types
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
A Model for Implementing an Object-Oriented Design without Language Extensions
An Algebraic Characterization of Typability in ML with Subtyping
A Polymorphic Language with First-Class Modules
A Sequent Calculus for Subtyping Polymorphic Types
A Statically Safe Alternative to Virtual Types
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages
Combining Inheritance and Parametric Polymorfism in a Functional Database Language
Complexity of kernel Fun subtype checking
Concept-Controlled Polymorphism
Conditional Answers for Polymorphic Type Inference
Constructing Polymorphic Programs with Quotient Types
Consummating Virtuality to Support More Polymorphism in C++
Correspondence Polymorphism for Object-Oriented Languages
Expanding Extensional Polymorphism
Explaining Polymorphic Types
Extending ML with Semi-Explicit Higher-Order Polymorphism
Family Polymorphism
First-Class Polymorphism for ML
Formalization of Generics for the .NET Common Language Runtime
Formally Optimal Boxing
Formal Parametric Polymorphism
Formal Techniques for Distributed Systems: Proc./Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013
Fully Abstract Translations and Parametric Polymorphism
Generic and Indexed Programming: Revised Lectures/ International Spring School, SSGIP 2010, Oxford, UK, March 2010
Higher-Order Value Flow Graphs
Intensional Polymorphism in Type-Erasure Semantics
Le Controleur de Types du Langage Fonctionnel VAAL
Lightweight Parametric Polymorphism for Oberon
Logic Programming with Polymorphically Order-Sorted Types
Mathematical Foundations of Computer Science 2011: Proc./36th International Symposium, MFCS 2011, Warsaw, Poland, August 2011
ML Typing, Explicit Polymorphism and Qualified Types
ML with First-Class Environments and Its Type Inference Algorithm
Objektorientierte Konzepte in Smalltalk, C++, Objective-C, Eiffel und Modula-3
Optimal Representations of Polymorphic Types with Subtyping
Parametric Polymorphism and Orthogonal Persistence
Parametric Polymorphism for JavaTM: A Reflective Solution
Parametric Polymorphism for Typed Prolog and Prolog
Polymorphic Binding-Time Analysis
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Polymorphic Subtyping for Effect Analysis: The Algorithm
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics
Polymorphic Subtyping for Effect Analysis: The Static Semantics
Polymorphism in OBJ-P
Polynomial Polymorphism
Polyvariance, Polymorphism and Flow Analysis
Second-Order Unification and Type Inference for Church-Style Polymorphism