The top documents tagged [abstraction value type]