Вы здесь

Главная

тип

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

Higher-Order Value Flow Graphs
High-Level Petri Nets as Type Theories in the Join Calculus
Higman s Lemma in Type Theory
Implementation Techniques for Inductive Types in Plastic
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Implementing Sized Types
Implementing Type Classes
Implementing Typed Intermediate Languages
Implicit Parameters: Dynamic Scoping with Static Types
Improving Computations in a Typed Functional Logic Language
Improving the Whelk System: A Type-theoretic Reconstruction
Incremental Polymorphic Type Checking with Update
Inductive Definitions and Type Theory an Introduction
Inductive Definitions with Decidable Atomic Formulas
Infinite Intersection and Union Types for the Lazy Lambda Calculus
Infinite Objects in Type Theory
Inhabitation in Typed Lambda-Calculi
Inheritance Modeled with Explicit Bindings: An Approach to Typed Inheritance
Integrating Static and Dynamic Sort Checking in Logic Programming
Integration of Specification Languages using Viewpoints
Integration of the Tool (AWB) Supporting the O* Method in the PCTE-Based Software Engineering Environment
Interface Definition Language Conversions: Recursive Types
Internal Type Theory
Intuitionistic Implication in Abstract Interpretation
Is Oberon as Simple as Possible? A Smaller Object-Oriented Language Based on the Concept of Module Type
Isomorphisms of Genetic Recursive Polynomial Types
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Java as a Functional Programming Language
Java is Type Safe - Probably
Javalight in Type-Safe - Definitely
Java s Integral Types in PVS
Kleene s Slash and Existence of Values of Open Terms in Type Theory
Kripke Semantics for Dependent Type Theory and Realizability Interpretations
Lambda-calculus, combinators and the Comprehension scheme
Language Independent Container Specification
Lazy Type Inference for the Strictness Analysis of Lists
Le Controleur de Types du Langage Fonctionnel VAAL
Legality of XML-Schema Type Hierarchies
Linearity and the Pi-Calculus
Linear Types for Cashflow Reengineering
Linear Types for Packet Processing
Local Type Reconstruction by means of Symbolic Fixed Point Iteration
Logical Predicates for Intuitionistic Linear Type Theories
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
Logic of Refinement Types
Logics for Concurrency: Structure versus Automata
LOOJ: Weaving LOOM into Java
LP-структуры на решетках типов и некоторые задачи рефакторинга
Machine-Checking the Java Specification: Proving Type-Safety
Making All Types Typedefed