Bohdan Liesnikov, Jesper Cockx. ExEl: Building an Elaborator Using Extensible Constraints. In The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023. ACM, 2023. [doi]
Abstract is missing.