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

Typing Copyless Message Passing

Typing rule-based transformations over topological collections