Type-changing rewriting and semantics-preserving transformation

S.P. Leather, J.T. Jeuring, A. Löh, B. Schuur

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Editors	Chin and Hage
Publisher	Association for Computing Machinery
Pages	109-120
Number of pages	12
DOIs	https://doi.org/10.1145/2543728.2543734
Publication status	Published - 2014

Access to Document

@inproceedings{0434fe83390c49c7a54636819f2b0295,

title = "Type-changing rewriting and semantics-preserving transformation",

author = "S.P. Leather and J.T. Jeuring and A. L{\"o}h and B. Schuur",

year = "2014",

doi = "10.1145/2543728.2543734",

language = "English",

pages = "109--120",

editor = "{Chin and Hage}",

booktitle = "Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation",

publisher = "Association for Computing Machinery ",

address = "United States",

}

Type-changing rewriting and semantics-preserving transformation. / Leather, S.P.; Jeuring, J.T.; Löh, A. et al.
Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. ed. / Chin and Hage. Association for Computing Machinery , 2014. p. 109-120.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Type-changing rewriting and semantics-preserving transformation

AU - Leather, S.P.

AU - Jeuring, J.T.

AU - Löh, A.

AU - Schuur, B.

PY - 2014

Y1 - 2014

U2 - 10.1145/2543728.2543734

DO - 10.1145/2543728.2543734

M3 - Conference contribution

SP - 109

EP - 120

BT - Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

A2 - Chin and Hage, null

PB - Association for Computing Machinery

ER -