Robert Glück

Robert Glück

Professor

Medlem af:


    1. 2006
    2. Udgivet

      On Jones-optimal specializers: a case study using Unmix

      Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (red.). Springer, s. 406-422 (Lecture notes in computer science, Bind 4279).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    3. Udgivet

      Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (red.) & Hu, Z. (red.), 2006, Department of Computer Science, University of Copenhagen. 174 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2006/07).

      Publikation: Bog/antologi/afhandling/rapportAntologi

    4. Udgivet

      Reversible structured program theorem

      Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 s.

      Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

    ID: 9668