On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation

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

Original language	English
Title of host publication	Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010
Publisher	Association for Computing Machinery
Publication status	Published - 2010

LDTA

Cite this

@inproceedings{1372be60c6544160824a941a57666550,

title = "On the R{\^o}le of Minimal Typing Derivations in Type-driven Program Transformation",

author = "S. Holdermans and J. Hage",

note = "LDTA",

year = "2010",

language = "English",

booktitle = "Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010",

publisher = "Association for Computing Machinery",

}