Jerome Jochems

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Conceptual Clustering

Datalog Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. CoRR (2022)
Jerome Jochems
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. HCVS@ETAPS (2021)