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]
@inproceedings{HillKDP21,
title = {Actions you can handle: dependent types for AI plans},
author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick},
year = {2021},
doi = {10.1145/3471875.3472990},
url = {https://doi.org/10.1145/3471875.3472990},
researchr = {https://researchr.org/publication/HillKDP21},
cites = {0},
citedby = {0},
pages = {1-13},
booktitle = {TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
editor = {Hsiang-Shang Ko and Dominic Orchard},
publisher = {ACM},
isbn = {978-1-4503-8616-6},
}