Typing Copyless Message Passing
Typing rule-based transformations over topological collections
Canada
World
United States