Programming Languages and Theory of Computing

Name	Title	Phone	Email
Broløs, Matilde Mouritsen	Research Assistant		E-Mail
Bonnet, Philippe	Professor		E-Mail
Axelsen, Henrik Bjørn	PhD fellow		E-Mail
Avery, James Emil	Associate Professor	+4530229111	E-Mail
Andersen, Finn Schiermer	Part-time lecturer, External Lecturer		E-Mail

Previous 1 2 3 4 Next

4559 downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published
4111 downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published
2510 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