- Published
Bootstrapping compiler generators from partial evaluators
Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible programming: a case study of two string-matching algorithms
Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).Research output: Book/Report › Anthology › Research
- Published
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
Glück, Robert (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).Research output: Book/Report › Anthology › Research › peer-review
- Published
A self-applicable online partial evaluator for recursive flowchart languages
Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Is there a fourth Futamura projection?
Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 51-60 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
From reversible programming languages to reversible metalanguages
Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Constructing a binary tree from its traversals by reversible recursion and iteration
Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible computing from a programming language perspective (extended abstract)
Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- 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
- 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
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
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
Data-parallel flattening by expansion
Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, p. 14-24Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
EDITOR Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016
Elsman, Martin (ed.), Grelck, C. (ed.), Klöckner, A. (ed.) & Padua, D. A. (ed.), 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. Association for Computing Machinery, Inc., 69 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).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
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
Most downloads
-
4554
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4110
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2509
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