Programming Languages and Theory of Computing

Read more
11 - 20 out of 272Page size: 10
  1. 2023
  2. Published

    Faithfulness Tests for Natural Language Explanations

    Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Can AI Moderate Online Communities?

    Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.

    Research output: Working paper › Preprint › Research

  4. Published

    Comparing Trace Similarity Metrics Across Logs and Evaluation Measures

    Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). Springer, p. 226-242 17 p. (Lecture Notes in Computer Science, Vol. 13901)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. 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-41

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. 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

  7. Published

    Subclasses of Ptime Interpreted by Programming Languages

    Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

    Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

    Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

    Parallelism in a Region Inference Context

    Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.

    Research output: Contribution to journal › Journal article › Research › peer-review

  11. 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-1196

    Research output: Contribution to journal › Journal article › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...28 Next