Type-changing rewriting and semantics-preserving transformation
Files
Publication date
2014
Editors
Chin and Hage
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Leather, S P, Jeuring, J T, Löh, A & Schuur, B 2014, Type-changing rewriting and semantics-preserving transformation. in Chin and Hage (ed.), Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, pp. 109-120. https://doi.org/10.1145/2543728.2543734