PPDP 2006: Venice, Italy

Refine list

showing all ?? records

Design patterns

Net technologies

Types

Language issues

Analysis and debugging

Meta-level Reasoning

Compilation