Aarhus University logo / Aarhus Universitets logo
Danish
Back to search
Functional programming, Programming languages and formal models, Semantics of programming language
Functional programming, Program analysis and transformations, Programming languages and formal models
Functional programming, Compilers and interpreters, Domain-specific language, Global computing, Models and logic for interactive systems, Modern logic, Object-oriented programming, Object-oriented programming lauguage, Partial evaluation and normalisation, Philosophy of science, Program analysis and transformations, Programming languages and formal models, Semantics of programming language, Software development tools, Teaching in programming and software development, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines
Functional programming, Semantics of programming language
Functional programming, Cryptology, Programming languages and formal models, Semantics of programming language