- 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
Explicit Effects and Effect Constraints in ReML
Elsman, Martin, 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 25 p., 79.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
A Denotational Account of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the relations between monadic semantics
Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards a comprehensive theory of monadic effects
Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Normalization by Evaluation for the Computational Lambda-Calculus
Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).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
Massively-parallel change detection for satellite time series data with missing values
Gieseke, Fabian Cristian, Rosca, S., Henriksen, Troels, Verbesselt, J. & Oancea, Cosmin Eugen, 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, p. 385-396 9101616Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Implicit Representation of Relations
Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
4524
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
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