Alasdair Hill

According to our database, Alasdair Hill authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2021

Actions you can handle: dependent types for AI plans.

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

Proceedings of the TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, 2021

2020

Proof-Carrying Plans: a Resource Logic for AI Planning.

Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Proof-Carrying Plans.

Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond

Proceedings of the Practical Aspects of Declarative Languages, 2019