ExEl: Building an Elaborator Using Extensible Constraints

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]

@inproceedings{LiesnikovC23,
  title = {ExEl: Building an Elaborator Using Extensible Constraints},
  author = {Bohdan Liesnikov and Jesper Cockx},
  year = {2023},
  doi = {10.1145/3652561.3652565},
  url = {https://doi.org/10.1145/3652561.3652565},
  researchr = {https://researchr.org/publication/LiesnikovC23},
  cites = {0},
  citedby = {0},
  booktitle = {The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023},
  publisher = {ACM},
}