Programming Languages and Theory of Computing

Read more
161 - 170 out of 253Page size: 10
  1. 2018
  2. 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

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

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

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

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

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

  11. 2013
  12. 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

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

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

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

Previous 1...13 14 15 16 17 18 19 20 ...26 Next