Mix and match - a modular approach to session-typed functional programming

该方案旨在发展一种具有会话类型的模函数演算MGV的理论和实现。为了实现这一点，学生将研究核心GV属性的模块化组合技术，并介绍GV扩展以及目前最先进的未考虑的新功能。MGV将允许混合匹配模块化属性和功能，如异步、递归、优先级和频道共享。在实施方面，学生将以一种可用和健壮的方式构建MGV，通过在Rust中实施MGV来确保此类工作的可用性和传播性。

This proposal aims to develop the theory and implementation of MGV - a modular functional calculus with session types. To achieve this, the student will investigate techniques for the modular composition of core GV properties and present GV extensions as well as new features not currently considered in the state-of-the-art. MGV will allow for a mix-and-match of modular properties and features, such as asynchrony, recursion, priorities and channel sharing. On the implementation side, the student will build MGV in a usable and robust way, ensuring the usability and dissemination of such work by implementing MGV in Rust.