会话类型

会话类型在类型理论中，会话类型被用来确保并发程序的正确性。它们保证并发程序之间发送和接收的消息是按照预期的顺序和预期的类型。会话类型系统已经适用于...