Programming Languages and Theory of Computing

Read more
176 - 200 out of 272Page size: 25
  1. 2018
  2. 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

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

  4. Published

    Within-Network Classification in Temporal Graphs

    Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236

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

  5. 2017
  6. Published

    User Experience

    Simonsen, Jakob Grue, 21 Jun 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Vol. 1. p. 191-206

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

  7. Published

    LightNVM: The Linux Open-Channel SSD Subsystem.

    Bjørling, M., González, J. & Bonnet, Philippe, 2017, FAST. p. 359-374 16 p.

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

  8. Published

    What's Up with the Storage Hierarchy?

    Bonnet, Philippe, 2017, CIDR.

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

  9. 2016
  10. 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

  11. Published

    Programming (Computers)

    Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-8

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

  12. Published

    Software

    Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5

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

  13. 2015
  14. Published

    Session types for rust

    Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.

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

  15. 2013
  16. Published

    A T2 graph-reduction approach to fusion

    Henriksen, Troels & Oancea, Cosmin Eugen, 2013, Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13). Association for Computing Machinery, p. 47-58 12 p.

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

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

  18. Published

    Structural logical relations with case analysis and equality reasoning

    Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

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

  20. 2012
  21. Published

    A reversible processor architecture and its reversible logic design

    Thomsen, Michael Kirkedal, 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. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

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

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

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

  24. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication

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

  26. 2011
  27. Published

    A simple and efficient universal reversible Turing machine

    Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

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

  28. Published

    International Workshop on Program Understanding. Proceedings

    Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

    Research output: Book/Report › Anthology › Research

  29. Published

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.

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

  30. Published

    SMLtoJs: Hosting a standard ML compiler in a Web browser

    Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

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

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

  32. Published

    What do reversible programs compute?

    Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

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

Previous 1...4 5 6 7 8 9 10 11 Next