Toby Cathcart Burn

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Conceptual Clustering

Tuple Generating Dependencies

Top Venues

Proc. ACM Program. Lang.

Publications

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. LICS (2021)
Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. CoRR (2021)
Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay
Higher-order constrained horn clauses for verification. Proc. ACM Program. Lang. 2 (POPL) (2018)
Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay
Higher-Order Constrained Horn Clauses and Refinement Types. CoRR (2017)