Typed transformations of typed abstract syntax

A.I. Baars, S.D. Swierstra, M. Viera

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

Original language	Undefined/Unknown
Title of host publication	TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation
Pages	15-26
Number of pages	12
Publication status	Published - 2009

Access to Document

@inproceedings{c96d0a8b1dbc48018c0e7ab852c97827,

title = "Typed transformations of typed abstract syntax",

author = "A.I. Baars and S.D. Swierstra and M. Viera",

note = "1481865",

year = "2009",

language = "Undefined/Unknown",

pages = "15--26",

booktitle = "TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation",

}