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

混合搭配 - 会话类型函数式编程的模块化方法

• 批准号: 2749133
• 金额: --
• 依托单位: University of Glasgow
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2022
• 资助国家: 英国
• 起止时间: 2022 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2749133
• 关键词: Mix; match; modular; approach; session

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.

该方案的目的是发展MGV的理论和实现-一个模块化的功能演算的会话类型。为了实现这一目标，学生将研究核心GV属性的模块化组成技术，并提出GV扩展以及目前尚未考虑的新功能。MGV将允许模块化属性和功能的混合和匹配，例如可移植性，递归，优先级和通道共享。在实现方面，学生将以可用和健壮的方式构建MGV，通过在Rust中实现MGV来确保此类工作的可用性和传播。