Вы здесь

Главная

тип

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

Optimal Type Lifting
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Optimization of Storage Structures of Complex Types in Object-Relational Database Systems
Optimizing Dynamic Dispatches through Type Invariant Region Analysis
Optimizing Generic Functions
Optimizing ML Using a Hierarchy of Monadic Types
Parametricity and Unboxing with Unpointed Types
Parametric Polymorphism for Typed Prolog and Prolog
Physical Type Checking for C
Pointer Analysis for Programs with Structures and Casting
Points-to Analysis by Type Inference of Programs with Structures and Unions
Polymorphic Programming and Opaque Types, Bringing it all Together
Polymorphic Queries Across Sets, Bags, and Lists
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 Typed Defunctionalization
Polymorphic Type Inference with Overloading and Subtyping
Polymorphic Types and Widening Operators
Polymorphic Typing for Call-By-Name Semantics
Polymorphism and Subtyping in Interfaces
Polymorphism in OBJ-P
Polynomial Polymorphism
PolyP - a polytipic programming language extension
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. Extended Abstract
Polyvariance, Polymorphism and Flow Analysis
Portable Run-Time Type Description for Conventional Compilers
Positive Recursive Type Assignment
Pos(T): Analyzing Dependencies in Typed Logic Programs
Post Correspondence Problem: Primitivity and Interrelations with Complexity Classes
Precise Concrete Type Inference for Object-Oriented Languages
Precise Constraint-Based Type Inference on Java
Precise Type Analysis by Abstract Interpretation
Precision in Practice: A Type-Preserving Java Compiler
Predicative Polymorphism in -Calculus
Predictable Component Architectures Using Dependent Finite State Machines
Principal Typing Schemes in a Polyadic pi-Calculus
Principal Typings for Java-like Languages
Principles and Practice of Declarative Programming: Proc./Intern. Conf. PPDP 99. Paris, France, September-October 1999
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014
Programming with Streams in Coq - A Case Study: The Sieve of Eratosthenes
Program Representation Size in an Intermediate Language with Intersection and Union Types
Program Transformation in Constructive Type Theory
Program Verification and Type Checking
Proof-Checking a Data Link Protocol
Propagating Class and Method Combination
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems
Properties of a Type Abstract Interpreter
Proposed Standard for Packages of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types)