work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency, operational semantics, domain-specific language
parallel processing, concurrency, type system, operational semantics, high performance computing, program verification