Programming Languages and Theory of Computing

Read more
21 - 30 out of 257Page size: 10
Sort by: Title
  1. Published

    Towards a Dereversibilizer: Fewer Asserts, Statically

    Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (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

  2. Published

    Towards a streaming model for nested data parallelism

    Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

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

  3. Published

    Towards a reversible functional language

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).

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

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

  5. Published

    Tokens Matter: How to Win Votes and Influence DAOs

    Jensen, J. R., Schirrmacher, N., Avital, M. & Ross, Omry, 2023, Proceedings of the 44th International Conference on Information Systems (ICIS 2023): Rising like a Phoenix: Emerging from the Pandemic and Reshaping Human Endeavors with Digital Technologies. Association for Information Systems, 9 p. 1794

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

  6. Published

    Time-efficient Bayesian Inference for a (Skewed) von Mises Distribution on the Torus in a Deep Probabilistic Programming Language

    Rønning, Ola, Ley, C., Mardia, K. V. & Hamelryck, Thomas Wim, 2021, 2021 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI). IEEE, p. 1-8

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

  7. Published

    Thicket Density

    Bhaskar, S., 2021, In: Journal of Symbolic Logic. 86, 1, p. 110-127 18 p.

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

  8. Published

    The fixed point property and a technique to harness double fixed point combinators

    Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, In: Journal of Logic and Computation. 29, 5, p. 831-880

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

  9. Published

    The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

    Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 195).

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

  10. Published

    The Programming of Algebra

    Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.

    Research output: Book/Report › Ph.D. thesis › Research

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