/papers/understanding-the-interfaces-between-triple/32515941