Collaborations between Frank Hayden and Carlo Martelli