News
Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...
Our research area investigates the fundamental principles, processes and technologies for the ... internet-scale computing, language design, type theory, formal verification, logics, semantics, and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results