Вы здесь

Главная

тип

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

Type Theory and Concurrency
Type Theory and Projections for Higher-Order Static Analysis
Type Theory and the Informal Language of Mathematics
Typing Abstract Data Types
Typing the Specialization Interface
Typing the Use of Resources in a Concurrent Calculus
Typing XHTML Web Applications in ML
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
Understanding the Implementation of IS-A Relations
Unifying Genericity
Union Types for Semistructured Data
Uniqueness Type Inference
Universes in the Theories of Types and Names
Untyped -calculus with Relative Typing
Usage Analysis with Natural Reduction Types
Use-Once Variables and Linear Objects - Storage Management, Reflection and Multi-Threading
Using Abstract Interpretation to Define a Strictness Type Inference System
Using Modes to Ensure Subject Reduction for Typed Logic Progranms with Subtyping
Using Subtyping in Program Optimization
Using Types as Approximations for Type Checking Prolog Programs
Using Type Theory to Synthesise Database Functions
Verifying Properties of Module Construction in Type Theory
Visualizing Quaternion Rotation
Well-Typed Logic Programs Are not Wrong
What we Learn from Formal Checking. Part II. Using Type Theory: An Introduction
When Generic Functions Use Dynamic Values
Why Sized Types are Great
Wide Classes
Wireless Networking for Moving Objects: Protocols, Architectures, Tools, Services and Applications
XDuce: A Typed XML Processing Language
XQuery: A Typed Functional Language for Querying XML
Анализ структурной эквивалентности описаний в компиляторе с языка С[]
Введение в MDX. Часть 2
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей
Вычисления над типами
Дедуктивные средства системы алгебраического программирования
Наследные типы языка АДА. Проблемы использования и реализации
Оазработка метода потроения диалоговых систем программирования на основе использования одного класса грамматик распознающего типа
Операции над типами
Операционный подход к семантике классов: приложение к контролю типов
Памяти и денег много не бывает
Специализированные клеточные структуры для контурного анализа изображений
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Упорядочение термов теории типов Мартин-Лефа, теоремы о неподвижной точке и двойной рекурсии в теории типов Мартин-Лефа
Язык предикатного программирования Р
Язык программирования Оберон (пересмотренное сооб ение)