ITU

A C M Transactions on Programming Languages and Systems

  1. 2012
  2. Published

    Structured Communication-Centered Programming for Web Services

    Carbone, M., Honda, K. & Yoshida, N., 2012, In: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. 2008
  4. Published

    Local Reasoning about a Copying Garbage Collector

    Torp-Smith, N., Birkedal, L. & Reynolds, J. C., 2008, In: ACM Transactions on Programming Languages and Systems. 30, 4, p. 24-81 58 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 58208