Toby Cathcart Burn

According to our database, Toby Cathcart Burn authored at least 3 papers between 2017 and 2021.

Collaborative distances:

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

2021

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018

Higher-order constrained horn clauses for verification.

Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay

Proc. ACM Program. Lang., 2018

2017

Higher-Order Constrained Horn Clauses and Refinement Types.

Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay

CoRR, 2017