Robert Glück

Robert Glück

Professor


  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/rapportAntologiForskning

  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