Hygienic resugaring of compositional desugaring
From MaRDI portal
Publication:2981945
DOI10.1145/2784731.2784755zbMath1360.68367MaRDI QIDQ2981945
Shriram Krishnamurthi, Justin Pombrio
Publication date: 10 May 2017
Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2784731.2784755
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items