- Published
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-28 86.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Read/write factorizable programs
Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Proof-directed program transformation: A functional account of efficient regular expression matching
Filinski, Andrzej, 2021, In: Journal of Functional Programming. 31, 38 p., e12.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Proof complexity of systems of (non-deterministic) decision trees and branching programs
Buss, S., Das, A. & Knop, A., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 152).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Projected hamming dissimilarity for bit-level importance coding in collaborative filtering
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, p. 261-269Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming Language Design and Implementation
Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).Research output: Book/Report › Book › Research › peer-review
- Published
Programming (Computers)
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.Research output: Contribution to conference › Poster › Research
Most downloads
-
4514
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
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
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review