Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Practical Reflection and Metaprogramming for Dependent Types
David Raymond Christiansen
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Practical Reflection and Metaprogramming for Dependent Types'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Programming Languages
100%
Metaprogramming
100%
Dependent Types
100%
Practical Reflection
100%
Embedded Language
100%
Domain-specific Languages
66%
Dependent Type Theory
33%
Compiler
33%
Metalanguage
33%
Quasiquotation
33%
Type Checking
33%
Interpreter
33%
Error Messages
33%
Special Purpose
33%
Code Reuse
33%
Functional Programming Languages
33%
Tactic Language
33%
Core Operator
33%
Elaboration Process
33%
Compile Time
33%
Embedded Domain-specific Languages
33%
Dependent Type Systems
33%
Computer Science
Practical Reflection
100%
Programming Language
100%
Domain-specific languages
75%
Type Systems
25%
Functional Programming
25%
Interpreter
25%
Type Checking
25%
Code Reuse
25%
Special Purpose
25%