Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick. Actions you can handle: dependent types for AI plans. In Hsiang-Shang Ko, Dominic Orchard, editors, TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021. pages 1-13, ACM, 2021. [doi]
Abstract is missing.