Cited By
View all- Hill AKomendantskaya EDaggitt MPetrick RKo HOrchard D(2021)Actions you can handle: dependent types for AI plansProceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3471875.3472990(1-13)Online publication date: 18-Aug-2021