Typed Self-Representation

by Tillmann Rendel, Klaus Ostermann, and Christian Hofer

In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI), 2009.

Citation as BibTeX

@inproceedings{rendel09typed,
  author = {Rendel, Tillmann and Ostermann, Klaus and Hofer, Christian},
  title = {Typed Self-Representation},
  booktitle = {Proceedings of the International Conference on Programming Language Design and Implementation (PLDI)},
  url = {http://www.informatik.uni-marburg.de/%7ekos/papers/pldi142_rendel1.pdf},
  year = {2009}
}