Вы здесь

Главная

тип

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

The Semantic Treatment of Polymorphic Specification Languages
The Typed Polymorphic Label-Selective -Calculus
Third-Order Matching in the Presence of Type Constructors
Three Discussions on Object-Oriented Typing
Towards an ML-Style Polymorphic Type System for C
Towards a Set-Theoretic Type Theory
Towards a Strongly Typed Functional Operating System
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory
TransformGen: Automating the Maintenance of Structure-Oriented Environments
Transparent Modules with Fully Syntactic Signatures
Tridirectional Typechecking
Tuwards Open Service Environments
Two Aspects of Directional Types
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
Type Analysis of Logic Programs in the Presence of Type Definitions
Type Analysis of Prolog Using Type Graphs
Type and Effect Systems
Type-Based Alias Analysis
Type-Based Analysis of Communication for Concurrent Programming Languages
Typechecking and Modules for Multi-Methods
Type Checking for a Multiset Rewriting Language
Typechecking for Semistrictured Data
Typechecking of PEI Expressions
Type-Checking OQL Queries in the ODMG Type Systems
Type Checking Parametrised Programs and Specifications in ASL+FPC
Type Checking Systems Code
Typechecking Z
Type Classes in Haskell
Type Classes with Functional Dependencies
Type-Constrained Generics for Z
Typed -calculus with Explicit Substitutions May not Terminate
Typed -calculus with Recursive Definitions
Type Derivation Using the Projection Operation
Typed Intermediate Languages for Shape Analysis
Type-Directed Flow Analysis for Typed Intermediate Languages
Type-Directed Partial Evaluation
Type Dispatch for Named Hierarchical Types
Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The Netherlands
Typed Lambda Calculi and Applications: Proc./Second Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 95. Edinburgh, United Kingdom, April 1995
Typed Lambda Calculi and Applications: Proc./Third Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 97. Nancy, France, April 1997
Typed Norms for Typed Logic Programs
Typed Operational Semantics
Typed Sets as a Basis for Object-Oriented Database Schemas
Typed Static Analysis: Application to Groudness Analysis of PROLOG and LambdaPROLOG
Type Elaboration and Subtype Completion for Java Bytecode
Type Error Slicing in Implicitly Typed Higher-Order Languages
Typeful Programming
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining
Type Inference Builds a Short Cut to Deforestation
Type Inference for First-Class Messages with Feature Constraints