Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Priser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Type Theories for Reactive Programming
Christian Uldal Graulund
Programming Logic and Semantics
Computer Science
Publikation
:
Bog / Antologi / Rapport / Ph.D.-afhandling
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Type Theories for Reactive Programming'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Teknik og materialevidenskab
Semantics
100%
Computer programming
51%
Functional programming
32%
Specifications
31%
Temporal logic
28%
Productivity
19%