Type theories for reactive programming

  • Møgelberg, Rasmus Ejlers (PI)
  • Vezzosi, Andrea (CoI)
  • Graulund, Christian Uldal (CoI)
  • Kristensen, Magnus Baunsgaard (CoI)
  • Veltri, Niccolò (CoI)

Project: Research

Filter
Ph.D. thesis

Search results

  • 2022

    Cubical modal type theories

    Kristensen, M. B., 2022, IT-Universitetet i København. 99 p. (ITU-DS; No. 193).

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

    Open Access
    File
  • 2021

    Type Theories for Reactive Programming

    Graulund, C. U., 2021, IT-Universitetet i København. 129 p. (ITU-DS; No. 175).

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

    Open Access
    File