Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Type Theories for Reactive Programming
Christian Uldal Graulund
Programming Logic and Semantics
Research output
:
Theses
›
PhD thesis
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Type Theories for Reactive Programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Type Theory
100%
Reactive Programming
100%
Functional Reactive Programming
100%
Modal
66%
Widgets
66%
Calculus
50%
Type Systems
50%
Operational Semantics
50%
Guarded Recursion
33%
Inductive Types
33%
Dependent Type Theory
16%
Event-based
16%
Logical Interpretation
16%
Monads
16%
Domain-specific Languages
16%
Levels of Abstraction
16%
Intuitionistic
16%
Linear Temporal Logic
16%
Liveness
16%
Browser
16%
Functional Programming
16%
Fixpoint
16%
Garbage Collection
16%
Natural Settings
16%
Step-indexing
16%
Coalgebra
16%
Modal Types
16%
Efficient Implementation
16%
Two-pair
16%
Garbage Collection Algorithm
16%
Point Operator
16%
Presheaf Categories
16%
Scene Graph
16%
Ease of Programming
16%
Modal Language
16%
Reactive Systems
16%
Stream-based
16%
Kripke
16%
Categorical Semantics
16%
Adjoint Functors
16%
Modal Approach
16%
Programmer
16%
Computer Science
Type Systems
100%
Operational Semantics
100%
Garbage Collection
66%
Domain-specific languages
33%
Reactive System
33%
Liveness
33%
Functional Programming
33%
Linear Temporal Logic
33%
coalgebra
33%
Efficient Implementation
33%
Modal Language
33%
Special Feature
33%
Categorical Semantics
33%