Flix: A meta programming language for Datalog M Madsen, JL Starup, O Lhoták Datalog 2.0 2022: 4th International Workshop on the Resurgence of Datalog in …, 2022 | 9 | 2022 |
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers M Müller, P Schuster, JL Starup, K Ostermann, JI Brachthäuser Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 941-970, 2023 | 3 | 2023 |
Further unifying the landscape of cell probe lower bounds K Green Larsen, J Lindegaard Starup, J Steensgaard Symposium on Simplicity in Algorithms (SOSA), 224-231, 2021 | 3 | 2021 |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants M Madsen, JL Starup, M Lutze 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 1 | 2023 |
37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) M Madsen, JL Starup, M Lutze Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints JL Starup, M Madsen, O Lhoták 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | | 2023 |