Programming Languages and Theory of Computing

Name	Title	Phone	Email
Grue, Klaus	Emeritus		E-Mail
Hamelryck, Thomas Wim	Professor	+4523960613	E-Mail
Henglein, Fritz	Professor		E-Mail
Henriksen, Troels	Assistant professor, tenure track, Tenure Track Assistant Professor		E-Mail
Hinnerskov, Nikolaj Hey	PhD student		E-Mail
Hüttel, Hans	Part-time lecturer, Associate Professor		E-Mail
Jensen, Thomas Philip	Professor		E-Mail
Jul, Eric	Professor, emeritus		E-Mail
Larsen, Ken Friis	Associate Professor	+4535335697	E-Mail
Marchant, David Gray	Research assistant, Postdoc	+4535334648	E-Mail

4506 downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published
4105 downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published
2506 downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published

Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review