DOI,IST REx ID,Research Group,Title of publication
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing