| |
Daggitt, Matthew L.
|
TyDe '21: "Actions You Can Handle: Dependent ..."
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)
@InProceedings{TyDe21p1,
author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick},
title = {Actions You Can Handle: Dependent Types for AI Plans},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3471875.3472990},
year = {2021},
}
 Publisher's Version
|
| |
Hill, Alasdair
|
TyDe '21: "Actions You Can Handle: Dependent ..."
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)
@InProceedings{TyDe21p1,
author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick},
title = {Actions You Can Handle: Dependent Types for AI Plans},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3471875.3472990},
year = {2021},
}
Publisher's Version
|
| |
Komendantskaya, Ekaterina
|
TyDe '21: "Actions You Can Handle: Dependent ..."
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)
@InProceedings{TyDe21p1,
author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick},
title = {Actions You Can Handle: Dependent Types for AI Plans},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3471875.3472990},
year = {2021},
}
Publisher's Version
|
| |
Petrick, Ronald P. A.
|
TyDe '21: "Actions You Can Handle: Dependent ..."
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)
@InProceedings{TyDe21p1,
author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick},
title = {Actions You Can Handle: Dependent Types for AI Plans},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3471875.3472990},
year = {2021},
}
Publisher's Version
|
| |
Zhang, Yinsen
|
TyDe '21: "A Simpler Encoding of Indexed ..."
A Simpler Encoding of Indexed Types
Yinsen Zhang
(Pennsylvania State University, USA)
@InProceedings{TyDe21p17,
author = {Yinsen Zhang},
title = {A Simpler Encoding of Indexed Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3471875.3472991},
year = {2021},
}
Publisher's Version
|