"ExEl: Building an Elaborator Using Extensible Constraints."

Bohdan Liesnikov, Jesper Cockx (2023)

Details and statistics

DOI: 10.1145/3652561.3652565

access: closed

type: Conference or Workshop Paper

metadata version: 2024-07-04