Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal / Aarhus Universitets segl

IT, Computer Science and Mathematics › Theoretical Computer Science › Functional programming

1 - 5 out of 5Page size: 100

10
25
50
100
500

Sort by: Last name

Last name

Annenkov, Danil
Functional programming, Programming languages and formal models, Semantics of programming language
Birkedal, Lars
Functional programming, Program analysis and transformations, Programming languages and formal models
Danvy, Olivier
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
Johannsen, Jacob
Functional programming, Semantics of programming language
Spitters, Bas
Functional programming, Cryptology, Programming languages and formal models, Semantics of programming language