Translating Nondeterministic Functional Language based on Attribute Grammars into Java

Transmission protocols for instruction streams

Transporting Functions across Ornaments

TSIA: A Dataflow Model

Tutorial for ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security

Tutorial on Online Partial Evaluation

tym: Typed Matlab

Typage fort et typage souple des collections topologiques et des transformations

Type Classes and Constraint Handling Rules

Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Type Inference for Guarded Recursive Data Types

Type Safe Extensible Programming

Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)

Typed Generic Traversal With Term Rewriting Strategies

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

Types for X10 Clocks

Typesafe Modeling in Text Mining

Typestate Checking and Regular Graph Constraints

Typing constraint logic programs