Typed Generic Traversal With Term Rewriting Strategies

Typed lambda-terms in categorical attributed graph transformation

Typed Operational Semantics for Dependent Record Types

Typer la dé-sérialisation sans sérialiser les types

Types and properties of the energy response of a reverse-oblique sounding channel of the ionosphere

Types for BioAmbients

Types for X10 Clocks

Types of Cost in Inductive Concept Learning

Types of distribution of electric fields and the types of convection corresponding to them in the polar ionosphere. A model.

Types of Iridescent Clouds

Typesafe Modeling in Text Mining

Typestate Checking and Regular Graph Constraints

Typhoon 9707 observations with the MU radar and L-band boundary layer radar

Typical models: minimizing false beliefs

Typical random 3-SAT formulae and the satisfiability threshold

Typical Sequences for Polish Alphabets

Typical Velocities and Magnetic Field Strengths in Planetary Interiors

Typicality Graphs:Large Deviation Analysis

Typing a Core Binary Field Arithmetic in a Light Logic

Typing constraint logic programs