tool chain / non-trivial type systems / image processing / generic algorithm / pretty printing semantics / type systems / possible solutions / language tools / language processors / actual processing / /
Organization
University of Aarhus / semantics.univ / US Federal Reserve / U.S. Securities and Exchange Commission / European Research Commission / /
Person
Tillmann Rendel / Christian Hofer Klaus Ostermann Tillmann / Christian Hofer / Paul Hudak / Klaus Ostermann Tillmann Rendel Adriaan / /
Object-oriented programming / Java / system of the DSL / generic algorithm / language processors / image processing / DSL / currently working on implementing a non-trivial / practical parser DSL / /