Actions you can handle: dependent types for AI plans.

Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick

Browse the full ICFP paper archive.