Modal type theory and Higher-dimensional algebra

Lead Research Organisation: UNIVERSITY OF CAMBRIDGE
Department Name: Computer Science and Technology

Abstract

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/R513180/1 30/09/2018 29/09/2023
2119874 Studentship EP/R513180/1 30/09/2018 30/03/2022 Dmitrij Szamozvancev
NE/W503204/1 31/03/2021 30/03/2022
2119874 Studentship NE/W503204/1 30/09/2018 30/03/2022 Dmitrij Szamozvancev
 
Description Collaboration with Christian Uldal Graulund on the Adjoint Reactive GUI Programming paper 
Organisation IT University of Copenhagen
Country Denmark 
Sector Academic/University 
PI Contribution Christian Uldal Graulund visited the Department of Computer Science and Technology in October-November 2018. Under the supervision and with the help of Dr Neelakantan Krishnaswami, we started a research project on developing a type system and language for programming graphical user interfaces. The work was split between us and of similar nature, mainly collaborating on a technical document with the specification of the types system and mathematical model, alongside detailed proofs. Given that at the time Christian was working on several other projects, I contributed the larger part of the technical report, supported by regular meetings with Dr Krishnaswami. Closer collaboration resumed when ITU Copenhagen invited me for a week-long visit to the department.
Collaborator Contribution Christian worked on several aspects of the system, as well as writing the paper with Dr Krishnaswami that was submitted to FoSSaCS 2021 in October 2020 based on the technical document.
Impact Graulund, Christian & Szamozvancev, Dmitrij & Krishnaswami, Neel. (2020). Adjoint Reactive GUI. To appear at FoSSaCS 2021.
Start Year 2018