Actions you can handle: dependent types for AI plans - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alasdair Hill' in GoogleThis author has not been identified. Look up 'Ekaterina Komendantskaya' in GoogleThis author has not been identified. Look up 'Matthew L. Daggitt' in GoogleThis author has not been identified. Look up 'Ronald P. A. Petrick' in Google

runs on WebDSL