pure-py/pure-py-spec

Formal specification of a pure, functional subset of Python for scientific computing

语言：TeX · GitHub 星标：6 · Fork：0

话题：formal-semantics · functional-programming · interoperability · language-design · language-specification · operational-semantics · programming-language · pure-functional

在 GitHub 上查看原仓库