Estimating the overlap between dependent computations for automatic parallelization

Evaluating Call-By-Need on the Control Stack

Evaluation strategies for monadic computations

Event Synchronization by Lightweight Message Passing

Events! (Reactivity in urbiscript)

Expansion for Universal Quantifiers

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Explaining Constraint Programming

Expressiveness and Extensions of an Instruction Sequence Semigroup

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Extended Report: The Implicit Calculus

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Extending Prolog with Incomplete Fuzzy Information

Extending scientific computing system with structural quantum programming capabilities

Extensible Pattern Matching in an Extensible Language

Extensible type checker for parser generation

Extensional Higher-Order Logic Programming

Ezhil: A Tamil Programming Language