Programming Languages and Theory of Computing

Read more
101 - 125 out of 271Page size: 25
Sort by: Title
  1. Published

    Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

    Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.

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

  2. Published

    Focussing, MALL and the Polynomial Hierarchy

    Das, A., 30 Jun 2018, Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science, Vol. 10900).

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

  3. Published

    Foundations and practice of binary process discovery

    Slaats, Tijs, Debois, S., Back, C.O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.

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

  4. Published

    Foundations of reversible computation

    Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 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. 1-40 40 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

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

  6. Published

    FunSETL–Functional Reporting for ERP Systems

    Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

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

  7. Published

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, p. 105-131 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

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

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

  9. Published

    Garbage-Free Reversible Multiplication and Division

    Mogensen, Torben Ægidius, 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).

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

  10. Published

    Generating Fact Checking Explanations

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, p. 7352-7364

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

  11. Published

    Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

    Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102

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

  12. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/Report › Report › Research

  13. Published

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

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

  14. Published

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

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

  15. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

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

  16. Published

    Governance of Decentralized Organizations: Lessons from Ethereum

    Avital, M., Jensen, J. R. & Ross, Omry, 2019. 17 p.

    Research output: Contribution to conference › Paper › Research

  17. Published

    Graph Traversals as Universal Constructions

    Bhaskar, S. & Kaarsgaard, R., 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 202).

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

  18. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

  19. Published

    Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

    Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).

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

  20. Published

    Hermes: A reversible language for lightweight encryption

    Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

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

  21. Published

    Hermes: A Language for Light-Weight Encryption

    Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).

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

  22. Published

    High-performance defunctionalisation in futhark

    Hovgaard, A. K., Henriksen, Troels & Elsman, Martin, 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). Springer, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11457 LNCS).

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

  23. Published

    I/O interface independence with xNVMe.

    Lund, S. A. F., Bonnet, Philippe, Jensen, K. B. A. & González, J., 2022, SYSTOR. p. 108-119 12 p.

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

  24. Published

    Identification of soil type in Pakistan using remote sensing and machine learning

    Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.

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

  25. 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 ...11 Next