- Published
Time-efficient Bayesian Inference for a (Skewed) von Mises Distribution on the Torus in a Deep Probabilistic Programming Language
Rønning, Ola, Ley, C., Mardia, K. V. & Hamelryck, Thomas Wim, 2021, 2021 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI). IEEE, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Thicket Density
Bhaskar, S., 2021, In: Journal of Symbolic Logic. 86, 1, p. 110-127 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The fixed point property and a technique to harness double fixed point combinators
Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, In: Journal of Logic and Computation. 29, 5, p. 831-880Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting
Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 195).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Programming of Algebra
Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
The Programming of Algebra
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Temporal vectorization: a compiler approach to automatic multi-pumping
Johnsen, Carl-Johannes, De Matteis, T., Ben-Nun, T., De Fine Licht, J. & Hoefler, T., 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-9 85Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Technical perspective: large-scale sound and precise program analysis
Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.Research output: Contribution to journal › Comment/debate › Research › peer-review
- Published
Tameness in least fixed-point logic and mccolm’s conjecture
Bhaskar, S. & Kruckman, A., 2021, In: Logical Methods in Computer Science. 17, 1, p. 2:1-2:16 2.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
- Published
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations
Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer, p. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12813 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large
Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spatial Mapping of Soil Salinity Using Machine Learning and Remote Sensing in Kot Addu, Pakistan
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali & Alsabban, W. H., 2023, In: Sustainability. 15, 17, 19 p., 12943.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Software and reversible systems: A survey of recent activities
Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Software
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Shape-Constrained Array Programming with Size-Dependent Types
Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Sentiment Classification of Historical Danish and Norwegian Literary Texts
Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, Alexander, Pedersen, Bolette Sandford, Bjerring-Hansen, Jens & Hershcovich, Daniel, May 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics (ACL), p. 324–334Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semi-inversion of conditional constructor term rewriting systems
Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Semi-Inversion of Functional Parameters
Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4553
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4109
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
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