Daniel Patterson 0001, Andrew Wagner, Amal Ahmed 0001. Semantic Encapsulation using Linking Types. In Youyou Cong, Pierre-Évariste Dagand, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. pages 14-28, ACM, 2023. [doi]
Abstract is missing.