ITU
Christian Uldal Graulund

Christian Uldal Graulund

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

Information Desk: 72185000

View graph of relations

Research outputs (3)

  1. Published

    Diamonds are not forever: Liveness in reactive programming with guarded recursion

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

  2. Published

    Type Theories for Reactive Programming

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  3. Published

    Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

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

Recent activities and conferences

ID: 81132226