Programming languages

Types in compilation

Logical frameworks and meta-languages

Scientific computing

Trustless grid computing