Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Type Theories for Reactive Programming
Christian Uldal Graulund
Programming Logic and Semantics
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Projekter
(1)
Fingeraftryk
Dyk ned i forskningsemnerne om 'Type Theories for Reactive Programming'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%