Вы здесь

Главная

тип

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

Making the Future Safe for the Past: Adding Genericity to the JavaTM Programming Language
Making Type Inference Practical
Manifest Types, Modules, and Separate Compilation
Market Expert Surveillance System
McJava - A Design and Implementation of Java with Mixin-Types
Message Conversion and A New Type System for OO Model
Methods as Assertions
Mianjin: A Parallel Language with a Type System That Governs Global System Behaviour
Minimal Thunkification
Mining Type Schemes in Databases
Mixin Modules
ML-Like Inference for Classifiers
ML Typing, Explicit Polymorphism and Qualified Types
ML with First-Class Environments and Its Type Inference Algorithm
Modeling HTML in Haskell
Modelling and Validation of Tasks with Algebraic Structured Nets
Modelling SIMD - Type Parallel Arithmetic Operations in Ada
Modular Statically Typed Multimethods
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code
Monadic Encapsulation with Stack of Regions
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
Monadic State: Axiomatization and Type Safety
More Precise Yet Efficient Type Inference for Logic Programs
Multiple Dispatch as Dispatch on Tuples
Multiple-Dispatching Based on Automata
Near Optimal Hierarchical Encoding of Types
Noised or Filtered Programming? (About enumerated typed)
Non-dependent Types for Standard ML Modules
Noninterference for Concurrent Programs
Non-Linear Type Extensions
Non-regular Process Types
Normal Forms Have Partial Types
Notes on Sconing and Relators
Notes on Typed Object-Oriented Programming
Object Type Constructors
On Functions and Types: A Tutorial
On Object Extension
On Subtyping and Matching
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
On the Logical Content of Computational Type Theory: A Solution to Curry s Problem
On the Runtime Complexity of Type-Directed Unboxing
On the Semantics of Rules in Database Programming Languages
On the Subject Reduction Property for Algebraic Type Systems
On the Type Extensions of Oberon-2
On the Unification of Substitutions in Type Inference
On Typed Calculi with a Merge Operator
On Types for XML Query Language Xcerpt
On Variance-Based Subtyping for Parametric Types
Operations on Records
Optimal Representations of Polymorphic Types with Subtyping