Вы здесь

Главная

тип

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

Type Inference for Late Binding: The SmallEiffel Compiler
Type Inference for Overloading without Restrictions, Declarations or Annotations
Type Inference for Parameterized Race-Free Java
Type inference in Prolog: a new approach
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
Type Inferencing Based on Complete Type Specifications
Type Inferencing for Polymorphic Order-sorted Logic Programs
Type Isomorphisms and Proof Reuse in Dependent Type Theory
Type Isomorphisms for Module Signatures
Type Oriented Programming
Type Reconstruction for Variable-Arity Procedures
Type Reconstruction in the Presence of Polymorphic Recursion
Type Reconstruction with Recursive Types and Atomic Subtyping
Type-Safe Method Inlining
Type-Safe Prototype-Based Component Evolution
Type-Safe Update Programming
Types and Sets in Godel and Z
Types as Parameters
Types for 0, 1 or Many Uses
Types for Dyadic Interaction
Types for Proofs and Programs: Proc./Intern. Workshop, TYPES 2000, Durhum, UK, December 2000
Types for Proofs and Programs: Proc./Intern. Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 2002
Types for Proofs and Programs: Proc./Intern. Workshop TYPES 96. Aussois, France, December 1996
Types for Proofs and Programs: Proc./Intern. Workshop, TYPES 98. Kloster Irsee, Germany, March 1998
Types for Proofs and Programs: Revised Selected Papers/ International Workshop, TYPES 2003. Torino,Haly,April/May 2003
Types for Proofs and Programs: Selected Papers/ International Workshop TYPES 94. Bastad, Sweden, June 1994
Types for Proofs and Programs: Selected Papers/ International Workshop,TYPES 99. Lokeberg,Sweden,June 1999
Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993
Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 95. Torino, Italy, June 1995
Types for Register Allocation
Types in Compilation: Proc./Second Intern. Workshop, TIC 98. Kyoto, Japan, March 1998
Types in Compilation: Proc./Third Intern. Workshop, TIC 2000, Montreal, Canada, September 2000
Types in Program Analysis
Types, Modularisation and Abstraction in Logic Programming
Types of Trilogy
Types, or: Where s the Difference between CCS and pi?
Type Specialisation for Imperative Languages
Type Specialisation for the Lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference
Types, Subtypes, and ASL+
Typestates for Objects
Types That Reflect Changes of Object Usability
Type Structure for Low-Level Programming Languages
Type Synthesis for Logic Programs
Type Synthesis in B and the Translation of B to PVS
Type Systems for Concurrent Programs
Type Systems for Distributed Data Structures
Type Systems for Programming Languages
Type Systems for Useless-Variable Elimination
Type Test Elimination using Typeflow Analysis
Type-Theoretic Foundations for Concurrent Object-Oriented Programming