保存此搜索
研究论文 2024年4月 消息-观察会话 我们介绍了Most,一种带有消息观察会话类型的过程语言。 消息观察会话类型通过类型级计算扩展了二进制会话类型,以指定根据其他通道上观察到的消息而变化的通信协议。。。 研究论文 2024年4月 分离度:一种灵活的安全并发系统 数据竞争一直是并发编程中的一个臭名昭著的问题。 它们很难检测到,并导致非确定性行为。 人们对静态保证数据竞争自由的类型系统非常感兴趣。 重大进展。。。 柿子:具有可扩展变异类型的嵌套家族多态性 模块化、可扩展的代码面临着许多障碍。 有些语言结构,例如模式匹配,不容易扩展。 在存在扩展类型的情况下,继承的代码可能不是类型安全的。 建立设计模式的负担。。。 研究论文 2024年4月 用透明性实现OCaml模块 ML模块作为核心语言之上的附加层来提供大规模的组合和抽象概念。 它们在很大程度上促成了OCaml和SML的成功。虽然模块很容易为常见情况编写,但它们的高级用法。。。 量子控制机:量子编程中控制流的极限 用于因子分解、搜索和模拟等任务的量子算法依赖于依赖于叠加数据值的分支和迭代等控制流。 控制流的高级编程抽象,例如交换机。。。 -
答案精化修改:代数效果和处理程序的精化类型系统 代数效果和处理程序是一种以模块化方式构造具有计算效果的程序的机制。 它们最近越来越受欢迎,并被实用语言所采用,如OCaml。 与此同时,已经取得了实质性进展。。。 结构参数多态的参数分型 我们研究了结构亚型与参数多态性和递归定义的类型构造函数的相互作用。 虽然在这种情况下结构子类型是不确定的,但我们描述了类型构造函数的参数概念,然后。。。 研究论文 2024年1月 基于类型的渐进式打字性能优化 逐渐键入已成为编程语言中的一个流行设计点,吸引了学术界和工业界的极大兴趣。 逐渐类型化语言的程序员可以根据需要自由使用静态和动态类型。 为了使。。。 静态安全Web程序集的索引类型 我们介绍了Wasm-prechk,这是WebAssembly(Wasm)的超集,它使用索引类型来表示和检查程序值上的简单约束。 这种额外的静态推理可以安全地从Wasm中删除动态安全检查,例如内存边界。。。 三次代数中的代数效应与霍尔逻辑 本文提出了一种新的代数效应形式,并用三次代数方程组表示。 与以往文献中使用的工作不同 类刚毛 为了处理方程,这里给出的库使用商类型忠实地编码。。。 良好的线性处理 我们提出了一种新的方法,将线性类型与多热点效果处理程序完美结合。 circear类型的系统静态地确保文件句柄和通信通道等资源只使用一次。 效果处理程序提供了丰富的。。。 研究论文 2024年1月 未装箱数据构造函数:或者,cpp如何决定暂停问题 我们为ML系列语言提出了一个新的语言特性,即选择性地 拆箱 某些数据构造函数,以便将它们的运行时表示编译为其参数上的标识。 必须静态拒绝拆箱。。。 动态语言的多态类型推理 我们提出了一个类型系统,该系统以可控的方式将一阶多态性与交集类型、并集类型和子类型相结合,并证明了其安全性。 然后我们定义了一个类型重建算法,即声音和终止。 这将产生。。。 研究论文 2023年10月 效果处理程序的渐进式键入 我们提出了一种渐变类型语言GrEff,它具有支持从未检查类型迁移到检查效果类型的效果和处理程序。 这是一个简单的模型,将效果类型学科与现有的效果类型学科相结合。。。 使用基于速率的会话类型验证物联网设备 我们开发了一个基于会话类型的框架,用于实现和验证物联网(IoT)领域中基于速率的消息传递系统。 为了对许多嵌入式和物联网系统中存在的不确定重复进行建模,我们引入了一个定时。。。 研究论文 2023年10月 大步语义的资源软件可靠性 我们将带有公共结构的lambda演算的语义和类型系统扩展为 资源软件 也就是说,减少是为了跟踪资源的使用情况,类型系统除了保证标准的可靠性外,还保证。。。 Rust中所有权类型的一个基础概念模型 学习Rust的程序员很难理解所有权类型,这是Rust的核心机制,可以在不进行垃圾收集的情况下确保内存安全。 本文描述了我们系统设计所有权类型教学法的尝试。 首先,我们研究了。。。 从能力到区域:实现词汇效果处理程序的高效编译 效果处理程序是一种高级抽象,它使程序员能够在结构化的 方式。 它们在学术界和随后的工业界都得到了广泛的欢迎。 然而, 抽象通常伴随着一个重要的。。。 使用效果处理程序继续WebAssembly WebAssembly(Wasm)是一种低级可移植代码格式 本机性能。 它是一个广泛的编译目标 各种源语言。 然而,Wasm没有提供直接支持 用于非本地控制流功能。。。 形式化的具有宇宙和擦除的分级模态依赖型理论 我们提出了一个分级模态类型理论,一个具有 分数 可用于强制执行代码的各种属性。 该理论有∏型、弱∑型和强∑型、自然数、空型和宇宙,我们还对其进行了推广。。。