NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Session Types and Protocol-Based Language Compilation

Investigation of session type systems and protocol-based programming abstractions for safe concurrent communication in compiled languages.