T2Script Programming Language
Task Frames
TCHR: a framework for tabled CLP
Termination analysis of logic programs using acceptability with general term orders
Termination Casts: A Flexible Approach to Termination with General Recursion
Termination Prediction for General Logic Programs
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing data types implementations from algebraic specifications
The (Lazy) Functional Side of Logic Programming
The alldifferent Constraint: A Survey
The Associate Principal Astronomer for AI Management of Automatic Telescopes
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines
The C Object System: Using C as a High-Level Object-Oriented Language
The C++0x "Concepts" Effort
The Call-by-need Lambda Calculus, Revisited
The Challenges of Hardware Synthesis from C-Like Languages
The Chameleon Type Debugger (Tool Demonstration)
The Complexity of Coverage
The Concurrent Language Aldwych