Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer University of Aarhus / /
IndustryTerm
pretty printing / ad-hoc solution / undecidable type systems / type checking algorithm / type systems / pure type systems / important applications / a lot of applications / /
Organization
University of Aarhus / U.S. Securities and Exchange Commission / /
Person
Nat / Reval / /
Position
interpreter for Fω∗ / CPS interpreter / metacircular interpreter / corresponding interpreter / evaluator and a call-byname continuation passing style interpreter / General / Self Interpreter / meta-circular interpreter / qualifier / evaluator / standard evaluator / interpreter / self-interpreter / programmer control how external terms / programmer / base evaluator / /
Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer