A Programming Paradigm for Spatiotemporal Composability

论文 PDF: deepseek-paper.pdf（88 页，约 2 MB）

本文档是 PDF 原文的占位/描述页。真正的原文是 PDF 文件 deepseek-paper.pdf，本页用于让索引能收录它并提供阅读状态追踪。

• 标题: A Programming Paradigm for Spatiotemporal Composability
• 作者: 石一凡（北大）、章薇（北大）、崔天翼（DeepSeek-AI）
• 机构: Peking University + DeepSeek-AI
• 主题: 动态组合（插件系统、自进化 agent harness）的形式化基础——把 effect/coeffect 提升为运行时机制，实现"时空可组合性"，落地为 Cordis 元框架

精读

完整论文精读见 → wiki/summaries/spatiotemporal-composability-paper.md

关键概念

• wiki/concepts/spatiotemporal-composability.md — 时空可组合性概念页