Factor Programs

FP 研究基于小型原生代数构建的类型化因果正程序。理论、实现与实证主张分别具有各自的证据边界。