ITU
Martin Sulzmann

Martin Sulzmann

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2008
  2. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

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

  3. Published

    Finally, A Comparison Between Constraint Handling Rules and Join-Calculus

    Lam, E. S. L. & Sulzmann, M., 2008, CHR 2008 Fifth Workshop on Constraint Handling Rules. No. 08-10 ed. Routledge, Vol. RISC-Linz Report Series. p. 59-65

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. Published

    Parallel Execution of Multi Set Constraint Rewrite Rules

    Sulzmann, M. & Lam, E. S. L., 2008, PPDP’08: Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, p. 20-31 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  5. Published

    Type checking with open type functions

    Schrijvers, T., Jones, S. P., Chakravarty, M. & Sulzmann, M., 2008, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 51-62

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 264783